Mercurial Mercurial > wneuper > isa / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | bz2 | gz | help
usage of Test_Theory.thy and Test_Some.thy
authorWalther Neuper <wneuper@ist.tugraz.at>
Fri, 08 May 2015 16:05:42 +0200
changeset 59119cc3bb83654d8
parent 59118 5a0e75dec749
child 59120 0feba60322c9
usage of Test_Theory.thy and Test_Some.thy
test/Tools/isac/Test_Theory.thy file | annotate | diff | comparison | revisions 
     1.1 --- a/test/Tools/isac/Test_Theory.thy	Fri May 08 16:03:38 2015 +0200
     1.2 +++ b/test/Tools/isac/Test_Theory.thy	Fri May 08 16:05:42 2015 +0200
     1.3 @@ -1,3 +1,4 @@
     1.4 +(* use this theory for tests before Build_Isac.thy has succeeded *)
     1.5  theory Test_Theory imports "~~/src/Tools/isac/ProgLang/Script"
     1.6  begin                                                                            
     1.7  ML_file "~~/src/Tools/isac/Interpret/ptyps.sml"
wneuper/isa