src/HOL/Main.ML
author obua
Sun, 09 May 2004 23:04:36 +0200
changeset 14722 8e739a6eaf11
parent 9650 6f0b89f2a1f9
permissions -rw-r--r--
replaced apply-style proof for instance Multiset :: plus_ac0 by recommended Isar proof style


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