author | nipkow |
Mon, 06 Dec 1993 17:05:10 +0100 | |
changeset 189 | 831a9a7ab9f3 |
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";