;;; -*- Mode:LISP; Package:USER; Base:10; Readtable:T; Patch-File:T -*-
;;; Patch directory for VERIFY version 1
;;; Written 6-May-85 12:31:55 by rg,
;;; while running on Lambda Nine from band 0
;;; with Experimental System 104.5, Experimental VERIFY 1.0, microcode 1143, 104 Volatile.

(:EXPERIMENTAL
 ((0 "VERIFY Loaded" "rg" NIL)
  (1 "basic incompats fixed" "rg" NIL)
  ))