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
     1 
     2 (*theory Main includes everything*)
     3 
     4 Main = NatBin + Map + Recdef + Record + RelPow + Sexp + String + Calculation +
     5        SVC_Oracle