Mercurial Mercurial > wneuper > isa / comparison
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
ROOTS
changeset 52102 cd5494eb08fd
parent 52069 7f7e1bde6e01
child 55272 6e943f644cca
equal deleted inserted replaced
52101:c3f399ce32af 52102:cd5494eb08fd 
     8 src/FOLP
 
     8 src/FOLP
 
     9 src/LCF
 
     9 src/LCF
 
    10 src/Sequents
 
    10 src/Sequents
 
    11 src/Doc
 
    11 src/Doc
 
    12 src/Tools/isac
 
    12 src/Tools/isac
 
    13 
    13 test/Tools/isac/ADDTESTS/session-get_theory/
wneuper/isa