stepping stones;
authorwenzelm
Fri Jul 03 17:34:55 1998 +0200 (1998-07-03)
changeset 512397c1d5c7b701
parent 5122 229190f9f303
child 5124 1ce3cccfacdb
stepping stones;
src/HOL/Main.thy
src/HOL/Recdef.thy
     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/src/HOL/Main.thy	Fri Jul 03 17:34:55 1998 +0200
     1.3 @@ -0,0 +1,2 @@
     1.4 +
     1.5 +Main = Update + Map + Record + Bin + RelPow + Sexp + String
     2.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     2.2 +++ b/src/HOL/Recdef.thy	Fri Jul 03 17:34:55 1998 +0200
     2.3 @@ -0,0 +1,2 @@
     2.4 +
     2.5 +Recdef = WF_Rel