src/HOLCF/HOLCF.ML
changeset 15650 b37dc98fbbc5
parent 14981 e73f8140af78
child 16062 f8110bd9957f
     1.1 --- a/src/HOLCF/HOLCF.ML	Fri Apr 01 23:44:41 2005 +0200
     1.2 +++ b/src/HOLCF/HOLCF.ML	Sat Apr 02 00:12:38 2005 +0200
     1.3 @@ -3,6 +3,11 @@
     1.4      Author:     Franz Regensburger
     1.5  *)
     1.6  
     1.7 +structure HOLCF =
     1.8 +struct
     1.9 +  val thy = the_context ();
    1.10 +end;
    1.11 +
    1.12  use"adm.ML";
    1.13  
    1.14  simpset_ref() := simpset() addSolver