src/HOL/Metis.thy
changeset 52641 c56b6fa636e8
parent 48891 c0eafbd55de3
child 54148 c8cc5ab4a863
equal deleted inserted replaced
52640:38679321b251 52641:c56b6fa636e8
    54 
    54 
    55 
    55 
    56 subsection {* Try0 *}
    56 subsection {* Try0 *}
    57 
    57 
    58 ML_file "Tools/try0.ML"
    58 ML_file "Tools/try0.ML"
    59 setup {* Try0.setup *}
       
    60 
    59 
    61 end
    60 end