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

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