author | lcp |
Tue, 21 Jun 1994 17:20:34 +0200 | |
changeset 435 | ca5356bd315a |
parent 99 | df0cd0fecf86 |
child 1298 | 488593372568 |
permissions | -rw-r--r-- |
(* Title: LK/ex/ROOT ID: $Id$ Author: Lawrence C Paulson, Cambridge University Computer Laboratory Copyright 1992 University of Cambridge Executes all examples for Classical Logic. *) LK_build_completed; (*Cause examples to fail if LK did*) writeln"Root file for LK examples"; proof_timing := true; time_use "ex/prop.ML"; time_use "ex/quant.ML"; time_use "ex/hardquant.ML"; maketest"END: Root file for LK examples";