src/HOL/Main.thy
author oheimb
Wed, 09 Sep 1998 17:14:19 +0200
changeset 5442 e60b8698ab15
parent 5305 513925de8962
child 6059 aa00e235ea27
permissions -rw-r--r--
changed order of included theories
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
5123
97c1d5c7b701 stepping stones;
wenzelm
parents:
diff changeset
     1
5126
01cbf154d926 theory Main includes everything;
wenzelm
parents: 5123
diff changeset
     2
(*theory Main includes everything*)
01cbf154d926 theory Main includes everything;
wenzelm
parents: 5123
diff changeset
     3
5442
e60b8698ab15 changed order of included theories
oheimb
parents: 5305
diff changeset
     4
Main = Map + Recdef + Record + Bin + RelPow + Sexp + String