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/ADDTESTS/Test_Units.thy
changeset 59592 99c8d2ff63eb
parent 59472 3e904f8ec16c
child 60650 06ec8abfd3bc
equal deleted inserted replaced
59591:a2b0b338d966 59592:99c8d2ff63eb 
     1 theory Test_Units imports Isac.Isac
 
     1 theory Test_Units imports Isac.Isac_Knowledge
 
     2 begin
 
     2 begin
 
     3 
     3 
     4 subsection \<open>Variant 1: \<close>
 
     4 subsection \<open>Variant 1: \<close>
 
     5 
     5 
     6 consts 
     6 consts
wneuper/isa