src/HOL/Main.thy
author paulson
Thu Sep 23 13:06:31 1999 +0200 (1999-09-23)
changeset 7584 5be4bb8e4e3f
parent 7143 9c02848c5404
child 8490 6e0f23304061
permissions -rw-r--r--
tidied; added lemma restrict_to_left
wenzelm@5123
     1
wenzelm@5126
     2
(*theory Main includes everything*)
wenzelm@5126
     3
paulson@7143
     4
Main = NatBin + Map + Recdef + Record + RelPow + Sexp + String + Calculation +
paulson@7143
     5
       SVC_Oracle