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;
wenzelm@9619
     1
wenzelm@9619
     2
(*theory Main includes everything; note that theory
wenzelm@9619
     3
  PreList already includes most HOL theories*)
wenzelm@9619
     4
wenzelm@9650
     5
theory Main = Map + String:
wenzelm@9650
     6
wenzelm@10261
     7
(*belongs to theory List*)
wenzelm@10261
     8
declare lists_mono [mono]
wenzelm@10261
     9
declare map_cong [recdef_cong]
wenzelm@9768
    10
wenzelm@9650
    11
end