src/HOL/Main.thy
changeset 5442 e60b8698ab15
parent 5305 513925de8962
child 6059 aa00e235ea27
equal deleted inserted replaced
5441:45bd13b15d80 5442:e60b8698ab15
     1 
     1 
     2 (*theory Main includes everything*)
     2 (*theory Main includes everything*)
     3 
     3 
     4 Main = Map + Record + Bin + RelPow + Sexp + String + Recdef
     4 Main = Map + Recdef + Record + Bin + RelPow + Sexp + String