src/HOL/Main.thy
author paulson
Thu Jul 08 13:37:40 1999 +0200 (1999-07-08)
changeset 6914 ad689270a265
parent 6779 2912aff958bd
child 7038 e01513f1390a
permissions -rw-r--r--
new theory IntDiv.thy
wenzelm@5123
     1
wenzelm@5126
     2
(*theory Main includes everything*)
wenzelm@5126
     3
paulson@6914
     4
Main = IntDiv + Map + Recdef + Record + RelPow + Sexp + String + Calculation