author | clasohm |
Thu, 16 Sep 1993 12:20:38 +0200 | |
changeset 0 | a5a9c433f639 |
child 99 | df0cd0fecf86 |
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/hard-quant.ML"; maketest"END: Root file for LK examples";