src/HOL/Main.thy
author wenzelm
Wed Oct 18 23:40:17 2000 +0200 (2000-10-18)
changeset 10261 bb2f1e859177
parent 9876 a069795f1060
child 10386 581a5a143994
permissions -rw-r--r--
tuned declarations;
     1 
     2 (*theory Main includes everything; note that theory
     3   PreList already includes most HOL theories*)
     4 
     5 theory Main = Map + String:
     6 
     7 (*belongs to theory List*)
     8 declare lists_mono [mono]
     9 declare map_cong [recdef_cong]
    10 
    11 end