src/HOL/Main.ML
author wenzelm
Thu, 22 Dec 2005 00:28:36 +0100
changeset 18457 356a9f711899
parent 9650 6f0b89f2a1f9
permissions -rw-r--r--
structure ProjectRule; updated auxiliary facts for induct method; tuned proofs;


structure Main =
struct
  val thy = the_context ();
end;