src/HOL/Main.thy
changeset 5126 01cbf154d926
parent 5123 97c1d5c7b701
child 5305 513925de8962
equal deleted inserted replaced
5125:463a0e9df5b5 5126:01cbf154d926
     1 
     1 
     2 Main = Update + Map + Record + Bin + RelPow + Sexp + String
     2 (*theory Main includes everything*)
       
     3 
       
     4 Main = Update + Map + Record + Bin + RelPow + Sexp + String + Recdef