Mercurial Mercurial > wneuper > isa / comparison
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
test/Tools/isac/Test_Isac.thy
changeset 60649 b2ff1902420f
parent 60648 976b99bcfc96
child 60650 06ec8abfd3bc
equal deleted inserted replaced
60648:976b99bcfc96 60649:b2ff1902420f 
   252   ML_file "Minisubpbl/500-met-sub-to-root.sml"
 
   252   ML_file "Minisubpbl/500-met-sub-to-root.sml"
 
   253   ML_file "Minisubpbl/530-error-Check_Elementwise.sml"
 
   253   ML_file "Minisubpbl/530-error-Check_Elementwise.sml"
 
   254   ML_file "Minisubpbl/600-postcond-NEXT_STEP.sml"
 
   254   ML_file "Minisubpbl/600-postcond-NEXT_STEP.sml"
 
   255   ML_file "Minisubpbl/600-postcond.sml"
 
   255   ML_file "Minisubpbl/600-postcond.sml"
 
   256   ML_file "Minisubpbl/700-interSteps.sml"
 
   256   ML_file "Minisubpbl/700-interSteps.sml"
 
   257   ML_file "Minisubpbl/710-interSteps-short.sml"  
   257   ML_file "Minisubpbl/710-interSteps-short.sml"
 
   258   ML_file "Minisubpbl/790-complete-NEXT_STEP.sml"
 
   258   ML_file "Minisubpbl/790-complete-NEXT_STEP.sml"
 
   259   ML_file "Minisubpbl/790-complete.sml"
 
   259   ML_file "Minisubpbl/790-complete.sml"
 
   260   ML_file "Minisubpbl/800-append-on-Frm.sml"
 
   260   ML_file "Minisubpbl/800-append-on-Frm.sml"
 
   261 
   261 
   262 subsection \<open>further functionality alongside batch build sequence\<close>
 
   262 subsection \<open>further functionality alongside batch build sequence\<close>
wneuper/isa