Mercurial Mercurial > wneuper > isa / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
test/Tools/isac/Test_Theory.thy
changeset 60081 e6af6e258584
parent 59866 3b194392ea71
child 60152 77a9287c56a3 
     1.1 --- a/test/Tools/isac/Test_Theory.thy	Tue Oct 06 12:44:42 2020 +0200
     1.2 +++ b/test/Tools/isac/Test_Theory.thy	Wed Oct 07 09:31:10 2020 +0200
     1.3 @@ -2,7 +2,7 @@
     1.4  theory Test_Theory imports "~~/src/Tools/isac/Specify/Specify"
     1.5  begin                                                                            
     1.6  ML_file "~~/src/Tools/isac/BaseDefinitions/libraryC.sml"
     1.7 -(* ATTENTION: tests with CalcTreeTest, CalcTree do NOT work here, because Thy_Info.getfu _theory
     1.8 +(* ATTENTION: tests with CalcTreeTest, CalcTree do NOT work here, because Thy_Info.get_theory
     1.9    requires session Isac, see ~~/test/Tools/isac/ADDTESTS/session-get_theory *)
    1.10  
    1.11  section \<open>code for copy & paste ===============================================================\<close>
wneuper/isa