src/HOL/Main.thy
author paulson
Mon Jul 19 15:35:42 1999 +0200 (1999-07-19)
changeset 7038 e01513f1390a
parent 6914 ad689270a265
child 7143 9c02848c5404
permissions -rw-r--r--
NatBin: binary arithmetic for the naturals
wenzelm@5123
     1
wenzelm@5126
     2
(*theory Main includes everything*)
wenzelm@5126
     3
paulson@7038
     4
Main = NatBin + Map + Recdef + Record + RelPow + Sexp + String + Calculation