src/HOL/Main.thy
author wenzelm
Fri Sep 01 00:28:06 2000 +0200 (2000-09-01)
changeset 9768 a589b1d75b7b
parent 9650 6f0b89f2a1f9
child 9854 a1383b55ac05
permissions -rw-r--r--
lemmas [mono] = lists_mono;
     1 
     2 (*theory Main includes everything; note that theory
     3   PreList already includes most HOL theories*)
     4 
     5 theory Main = Map + String:
     6 
     7 lemmas [mono] = lists_mono
     8 
     9 end
    10