test17.k revision a77f78d79de84698b4426d3dbc6792ed434ead4d
0066eddda7203f6345b56f77d146a759298dc635gryzortree a77f78d79de84698b4426d3dbc6792ed434ead4d:
0066eddda7203f6345b56f77d146a759298dc635gryzor
0066eddda7203f6345b56f77d146a759298dc635gryzorATC.hs
0066eddda7203f6345b56f77d146a759298dc635gryzorATC/
0066eddda7203f6345b56f77d146a759298dc635gryzorCASL.hs
0066eddda7203f6345b56f77d146a759298dc635gryzorCASL/
0066eddda7203f6345b56f77d146a759298dc635gryzorCASL_DL.hs
96ad5d81ee4a2cc66a4ae19893efc8aa6d06fae7jailletcCASL_DL/
0066eddda7203f6345b56f77d146a759298dc635gryzorCOL.hs
0066eddda7203f6345b56f77d146a759298dc635gryzorCOL/
d29d9ab4614ff992b0e8de6e2b88d52b6f1f153erbowenCoCASL.hs
2e545ce2450a9953665f701bb05350f0d3f26275ndCoCASL/
d29d9ab4614ff992b0e8de6e2b88d52b6f1f153erbowenCommon.hs
d29d9ab4614ff992b0e8de6e2b88d52b6f1f153erbowenCommon/
0066eddda7203f6345b56f77d146a759298dc635gryzorComorphisms.hs
0066eddda7203f6345b56f77d146a759298dc635gryzorComorphisms/
0066eddda7203f6345b56f77d146a759298dc635gryzorConstraintCASL/
af33a4994ae2ff15bc67d19ff1a7feb906745bf8rbowenCspCASL.hs
3f08db06526d6901aa08c110b5bc7dde6bc39905ndCspCASL/
0066eddda7203f6345b56f77d146a759298dc635gryzorDriver.hs
0066eddda7203f6345b56f77d146a759298dc635gryzorDriver/
0066eddda7203f6345b56f77d146a759298dc635gryzorGMP/
3f08db06526d6901aa08c110b5bc7dde6bc39905ndGUI.hs
0066eddda7203f6345b56f77d146a759298dc635gryzorGUI/
0066eddda7203f6345b56f77d146a759298dc635gryzorHasCASL.hs
0066eddda7203f6345b56f77d146a759298dc635gryzorHasCASL/
0066eddda7203f6345b56f77d146a759298dc635gryzorHaskell.hs
0066eddda7203f6345b56f77d146a759298dc635gryzorHaskell/
0066eddda7203f6345b56f77d146a759298dc635gryzorHets-Haddock-Prologue.txt
0066eddda7203f6345b56f77d146a759298dc635gryzorHets.cabal
f086b4b402fa9a2fefc7dda85de2a3cc1cd0a654rjungINSTALL
0066eddda7203f6345b56f77d146a759298dc635gryzorIsabelle.hs
0066eddda7203f6345b56f77d146a759298dc635gryzorIsabelle/
0066eddda7203f6345b56f77d146a759298dc635gryzorLICENCE.txt
0066eddda7203f6345b56f77d146a759298dc635gryzorLICENSE.txt
0066eddda7203f6345b56f77d146a759298dc635gryzorLIZENZ.txt
0066eddda7203f6345b56f77d146a759298dc635gryzorLogic.hs
0066eddda7203f6345b56f77d146a759298dc635gryzorLogic/
0066eddda7203f6345b56f77d146a759298dc635gryzorLottery/
cd8142d105a47b208d863bea7cdb540727a5f02digalicMakefile
cd8142d105a47b208d863bea7cdb540727a5f02digalicMakefile.installer
cd8142d105a47b208d863bea7cdb540727a5f02digalicModal.hs
cd8142d105a47b208d863bea7cdb540727a5f02digalicModal/
cd8142d105a47b208d863bea7cdb540727a5f02digalicModifications/
0066eddda7203f6345b56f77d146a759298dc635gryzorOMDoc/
0066eddda7203f6345b56f77d146a759298dc635gryzorOWL_DL.hs
0066eddda7203f6345b56f77d146a759298dc635gryzorOWL_DL/
0066eddda7203f6345b56f77d146a759298dc635gryzorPGIP.hs
0066eddda7203f6345b56f77d146a759298dc635gryzorPGIP/
0066eddda7203f6345b56f77d146a759298dc635gryzorProofs.hs
0066eddda7203f6345b56f77d146a759298dc635gryzorProofs/
0066eddda7203f6345b56f77d146a759298dc635gryzorPropositional.hs
0066eddda7203f6345b56f77d146a759298dc635gryzorPropositional/
0066eddda7203f6345b56f77d146a759298dc635gryzorREADME
0066eddda7203f6345b56f77d146a759298dc635gryzorREADME.installer
0066eddda7203f6345b56f77d146a759298dc635gryzorReleaseMakefile
0066eddda7203f6345b56f77d146a759298dc635gryzorSoftFOL.hs
cd8142d105a47b208d863bea7cdb540727a5f02digalicSoftFOL/
30471a4650391f57975f60bbb6e4a90be7b284bfhumbedoohStatic.hs
0066eddda7203f6345b56f77d146a759298dc635gryzorStatic/
0066eddda7203f6345b56f77d146a759298dc635gryzorSyntax/
e3e52ec6993de04bb0100e098ce0a569c7001382lgentisTaxonomy.hs
0066eddda7203f6345b56f77d146a759298dc635gryzorTaxonomy/
0066eddda7203f6345b56f77d146a759298dc635gryzorTest.hs
0066eddda7203f6345b56f77d146a759298dc635gryzorToHaskell/
0066eddda7203f6345b56f77d146a759298dc635gryzorclean.lst
0066eddda7203f6345b56f77d146a759298dc635gryzorclean.sh
0066eddda7203f6345b56f77d146a759298dc635gryzordoc/
fed47023e9be04c612b5f6d4a5ee2b8e7c587181rbowenhaifa-lite/
0066eddda7203f6345b56f77d146a759298dc635gryzorhets.hs
0066eddda7203f6345b56f77d146a759298dc635gryzorhets.in
0066eddda7203f6345b56f77d146a759298dc635gryzorideas
cd8142d105a47b208d863bea7cdb540727a5f02digalicmini/
cd8142d105a47b208d863bea7cdb540727a5f02digalicpretty/
cd8142d105a47b208d863bea7cdb540727a5f02digalicsample-ghci-script
cd8142d105a47b208d863bea7cdb540727a5f02digalicsyb-generics/
cd8142d105a47b208d863bea7cdb540727a5f02digalictest/
cd8142d105a47b208d863bea7cdb540727a5f02digalictodo
0066eddda7203f6345b56f77d146a759298dc635gryzorutils/
20f499565e77defe9dab24dd85c02f38a1175855ndversion_nr
fd5a091eb07540ab440f8ac3a277caa590be46c1humbedooh