k_d4_n_03.k revision a77f78d79de84698b4426d3dbc6792ed434ead4d
e0315f216065c35e7352e15ad454c2687f01debbAndreas Gustafssontree a77f78d79de84698b4426d3dbc6792ed434ead4d:
e0315f216065c35e7352e15ad454c2687f01debbAndreas Gustafsson
c855e7170a7ddb5d4ebab69a771f35dc93e95e43Mark AndrewsATC.hs
bf8267aa453e5d2a735ed732a043b77a0b355b20Mark AndrewsATC/
bf8267aa453e5d2a735ed732a043b77a0b355b20Mark AndrewsCASL.hs
bf8267aa453e5d2a735ed732a043b77a0b355b20Mark AndrewsCASL/
bf8267aa453e5d2a735ed732a043b77a0b355b20Mark AndrewsCASL_DL.hs
bf8267aa453e5d2a735ed732a043b77a0b355b20Mark AndrewsCASL_DL/
bf8267aa453e5d2a735ed732a043b77a0b355b20Mark AndrewsCOL.hs
bf8267aa453e5d2a735ed732a043b77a0b355b20Mark AndrewsCOL/
bf8267aa453e5d2a735ed732a043b77a0b355b20Mark AndrewsCoCASL.hs
bf8267aa453e5d2a735ed732a043b77a0b355b20Mark AndrewsCoCASL/
bf8267aa453e5d2a735ed732a043b77a0b355b20Mark AndrewsCommon.hs
bf8267aa453e5d2a735ed732a043b77a0b355b20Mark AndrewsCommon/
bf8267aa453e5d2a735ed732a043b77a0b355b20Mark AndrewsComorphisms.hs
bf8267aa453e5d2a735ed732a043b77a0b355b20Mark AndrewsComorphisms/
dafcb997e390efa4423883dafd100c975c4095d6Mark AndrewsConstraintCASL/
325564098182c662d91d62beb6b9fa6a67951d74Automatic UpdaterCspCASL.hs
e0315f216065c35e7352e15ad454c2687f01debbAndreas GustafssonCspCASL/
e0315f216065c35e7352e15ad454c2687f01debbAndreas GustafssonDriver.hs
e0315f216065c35e7352e15ad454c2687f01debbAndreas GustafssonDriver/
e0315f216065c35e7352e15ad454c2687f01debbAndreas GustafssonGMP/
e0315f216065c35e7352e15ad454c2687f01debbAndreas GustafssonGUI.hs
c75523bcb30c2b8426ee7cb226d9b429c337325bMark AndrewsGUI/
c75523bcb30c2b8426ee7cb226d9b429c337325bMark AndrewsHasCASL.hs
c75523bcb30c2b8426ee7cb226d9b429c337325bMark AndrewsHasCASL/
c75523bcb30c2b8426ee7cb226d9b429c337325bMark AndrewsHaskell.hs
c75523bcb30c2b8426ee7cb226d9b429c337325bMark AndrewsHaskell/
c75523bcb30c2b8426ee7cb226d9b429c337325bMark AndrewsHets-Haddock-Prologue.txt
c75523bcb30c2b8426ee7cb226d9b429c337325bMark AndrewsHets.cabal
c75523bcb30c2b8426ee7cb226d9b429c337325bMark AndrewsINSTALL
c75523bcb30c2b8426ee7cb226d9b429c337325bMark AndrewsIsabelle.hs
c75523bcb30c2b8426ee7cb226d9b429c337325bMark AndrewsIsabelle/
c75523bcb30c2b8426ee7cb226d9b429c337325bMark AndrewsLICENCE.txt
c75523bcb30c2b8426ee7cb226d9b429c337325bMark AndrewsLICENSE.txt
c75523bcb30c2b8426ee7cb226d9b429c337325bMark AndrewsLIZENZ.txt
c75523bcb30c2b8426ee7cb226d9b429c337325bMark AndrewsLogic.hs
c75523bcb30c2b8426ee7cb226d9b429c337325bMark AndrewsLogic/
c75523bcb30c2b8426ee7cb226d9b429c337325bMark AndrewsLottery/
c75523bcb30c2b8426ee7cb226d9b429c337325bMark AndrewsMakefile
c75523bcb30c2b8426ee7cb226d9b429c337325bMark AndrewsMakefile.installer
c75523bcb30c2b8426ee7cb226d9b429c337325bMark AndrewsModal.hs
c75523bcb30c2b8426ee7cb226d9b429c337325bMark AndrewsModal/
c75523bcb30c2b8426ee7cb226d9b429c337325bMark AndrewsModifications/
c75523bcb30c2b8426ee7cb226d9b429c337325bMark AndrewsOMDoc/
c75523bcb30c2b8426ee7cb226d9b429c337325bMark AndrewsOWL_DL.hs
c75523bcb30c2b8426ee7cb226d9b429c337325bMark AndrewsOWL_DL/
c75523bcb30c2b8426ee7cb226d9b429c337325bMark AndrewsPGIP.hs
c75523bcb30c2b8426ee7cb226d9b429c337325bMark AndrewsPGIP/
c75523bcb30c2b8426ee7cb226d9b429c337325bMark AndrewsProofs.hs
c75523bcb30c2b8426ee7cb226d9b429c337325bMark AndrewsProofs/
c75523bcb30c2b8426ee7cb226d9b429c337325bMark AndrewsPropositional.hs
c75523bcb30c2b8426ee7cb226d9b429c337325bMark AndrewsPropositional/
c75523bcb30c2b8426ee7cb226d9b429c337325bMark AndrewsREADME
c75523bcb30c2b8426ee7cb226d9b429c337325bMark AndrewsREADME.installer
e0315f216065c35e7352e15ad454c2687f01debbAndreas GustafssonReleaseMakefile
c855e7170a7ddb5d4ebab69a771f35dc93e95e43Mark AndrewsSoftFOL.hs
c855e7170a7ddb5d4ebab69a771f35dc93e95e43Mark AndrewsSoftFOL/
c855e7170a7ddb5d4ebab69a771f35dc93e95e43Mark AndrewsStatic.hs
c855e7170a7ddb5d4ebab69a771f35dc93e95e43Mark AndrewsStatic/
c855e7170a7ddb5d4ebab69a771f35dc93e95e43Mark AndrewsSyntax/
c855e7170a7ddb5d4ebab69a771f35dc93e95e43Mark AndrewsTaxonomy.hs
c855e7170a7ddb5d4ebab69a771f35dc93e95e43Mark AndrewsTaxonomy/
c855e7170a7ddb5d4ebab69a771f35dc93e95e43Mark AndrewsTest.hs
e0315f216065c35e7352e15ad454c2687f01debbAndreas GustafssonToHaskell/
3635d8f9104e70e141a8f191a0e6c1502ceed2f3Mark Andrewsclean.lst
clean.sh
doc/
haifa-lite/
hets.hs
hets.in
ideas
mini/
pretty/
sample-ghci-script
syb-generics/
test/
todo
utils/
version_nr