;;; -*- Mode:LISP; Package:USER; Base:10; Readtable:Common-Lisp; Patch-File:T -*-
;;; Patch directory for VERIFY version 5
;;; Written 22-Feb-86 09:43:52 by rg at site LMI Cambridge
;;; while running on Guinea Pig from band 2
;;; with Experimental System 110.70, Experimental TCP-Kernel 39.4, Experimental TCP-User 62.2, Experimental TCP-Server 45.5, Experimental KERMIT 31.1, Experimental ZMail 65.4, Experimental Local-File 66.0, Experimental FILE-Server 18.1, Experimental Tape 1.8, Experimental Lambda-Diag 6.0, microcode 1405, SDU ROM 102.

(:EXPERIMENTAL
 ((0 "VERIFY Loaded" "rg" NIL)
  ))