;;; -*- 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) ))