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/Knowledge/delete.sml
branchdecompose-isar
changeset 41943 f33f6959948b
child 42321 e68b4b4f0fac
equal deleted inserted replaced
41942:72187c16c796 41943:f33f6959948b 
       
     1 (* Title:  test/../delete.sml
 
       
     2    Author: Walther Neuper 110320
 
       
     3    (c) copyright due to lincense terms.
 
       
     4 *)
wneuper/isa