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 59325 6205db0ccf07
parent 59320 4549c6062b30
parent 59323 5012199ad17c
child 59356 100d34e45307
equal deleted inserted replaced
59321:553c89152635 59325:6205db0ccf07
wneuper/isa