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

(:EXPERIMENTAL
 ((0 "VERIFY Loaded" "rg" NIL)
  (1 "basic incompats fixed" "rg" NIL)
  (2 "late-model-data-p hack" "rg" NIL)
  ))