;;; -*- Mode:LISP; Package:USER; Base:10; Readtable:T; Patch-File:T -*-
;;; Patch directory for VERIFY version 2
;;; Written 14-May-85 10:21:59 by GJC,
;;; while running on Guinea Pig from band 1
;;; with Experimental System 104.6, microcode 1161, 104.6 5/13 GC.

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