src/HOL/Main.thy
changeset 7143 9c02848c5404
parent 7038 e01513f1390a
child 8490 6e0f23304061
equal deleted inserted replaced
7142:89e0ff71d113 7143:9c02848c5404
     1 
     1 
     2 (*theory Main includes everything*)
     2 (*theory Main includes everything*)
     3 
     3 
     4 Main = NatBin + Map + Recdef + Record + RelPow + Sexp + String + Calculation
     4 Main = NatBin + Map + Recdef + Record + RelPow + Sexp + String + Calculation +
       
     5        SVC_Oracle