processor revision cecfd75627906782ae740bf7c0cf5397a08468f5
bb2b38cd44b032118359afbc743efbea12f48e61bnicholestree cecfd75627906782ae740bf7c0cf5397a08468f5:
bb2b38cd44b032118359afbc743efbea12f48e61bnicholes
bb2b38cd44b032118359afbc743efbea12f48e61bnicholesATC.hs
bb2b38cd44b032118359afbc743efbea12f48e61bnicholesATC/
bb2b38cd44b032118359afbc743efbea12f48e61bnicholesCASL.hs
ac7985784d08a3655291f24f711812b4d8b1cbcffuankgCASL/
bb2b38cd44b032118359afbc743efbea12f48e61bnicholesCASL_DL.hs
bb2b38cd44b032118359afbc743efbea12f48e61bnicholesCASL_DL/
bb2b38cd44b032118359afbc743efbea12f48e61bnicholesCOL.hs
bb2b38cd44b032118359afbc743efbea12f48e61bnicholesCOL/
bb2b38cd44b032118359afbc743efbea12f48e61bnicholesCoCASL.hs
bb2b38cd44b032118359afbc743efbea12f48e61bnicholesCoCASL/
bb2b38cd44b032118359afbc743efbea12f48e61bnicholesCommon.hs
bb2b38cd44b032118359afbc743efbea12f48e61bnicholesCommon/
bb2b38cd44b032118359afbc743efbea12f48e61bnicholesComorphisms.hs
bb2b38cd44b032118359afbc743efbea12f48e61bnicholesComorphisms/
cb2846ded4de1abbb5934b92132baf826f1babfebnicholesConstraintCASL/
bb2b38cd44b032118359afbc743efbea12f48e61bnicholesCspCASL.hs
bb2b38cd44b032118359afbc743efbea12f48e61bnicholesCspCASL/
bb2b38cd44b032118359afbc743efbea12f48e61bnicholesDriver.hs
bb2b38cd44b032118359afbc743efbea12f48e61bnicholesDriver/
bb2b38cd44b032118359afbc743efbea12f48e61bnicholesGMP/
bb2b38cd44b032118359afbc743efbea12f48e61bnicholesGUI.hs
bb2b38cd44b032118359afbc743efbea12f48e61bnicholesGUI/
bb2b38cd44b032118359afbc743efbea12f48e61bnicholesHasCASL.hs
bb2b38cd44b032118359afbc743efbea12f48e61bnicholesHasCASL/
bb2b38cd44b032118359afbc743efbea12f48e61bnicholesHaskell.hs
bb2b38cd44b032118359afbc743efbea12f48e61bnicholesHaskell/
bb2b38cd44b032118359afbc743efbea12f48e61bnicholesHets-Haddock-Prologue.txt
bb2b38cd44b032118359afbc743efbea12f48e61bnicholesHets.cabal
bb2b38cd44b032118359afbc743efbea12f48e61bnicholesINSTALL
bb2b38cd44b032118359afbc743efbea12f48e61bnicholesIsabelle.hs
bb2b38cd44b032118359afbc743efbea12f48e61bnicholesIsabelle/
bb2b38cd44b032118359afbc743efbea12f48e61bnicholesLICENCE.txt
bb2b38cd44b032118359afbc743efbea12f48e61bnicholesLICENSE.txt
bb2b38cd44b032118359afbc743efbea12f48e61bnicholesLIZENZ.txt
bb2b38cd44b032118359afbc743efbea12f48e61bnicholesLogic.hs
bb2b38cd44b032118359afbc743efbea12f48e61bnicholesLogic/
bb2b38cd44b032118359afbc743efbea12f48e61bnicholesLottery/
bb2b38cd44b032118359afbc743efbea12f48e61bnicholesMakefile
bb2b38cd44b032118359afbc743efbea12f48e61bnicholesMakefile.installer
bb2b38cd44b032118359afbc743efbea12f48e61bnicholesModal.hs
bb2b38cd44b032118359afbc743efbea12f48e61bnicholesModal/
bb2b38cd44b032118359afbc743efbea12f48e61bnicholesModifications/
bb2b38cd44b032118359afbc743efbea12f48e61bnicholesOMDoc/
bb2b38cd44b032118359afbc743efbea12f48e61bnicholesOWL_DL.hs
bb2b38cd44b032118359afbc743efbea12f48e61bnicholesOWL_DL/
bb2b38cd44b032118359afbc743efbea12f48e61bnicholesPGIP.hs
bb2b38cd44b032118359afbc743efbea12f48e61bnicholesPGIP/
bb2b38cd44b032118359afbc743efbea12f48e61bnicholesProofs.hs
bb2b38cd44b032118359afbc743efbea12f48e61bnicholesProofs/
bb2b38cd44b032118359afbc743efbea12f48e61bnicholesPropositional.hs
bb2b38cd44b032118359afbc743efbea12f48e61bnicholesPropositional/
bb2b38cd44b032118359afbc743efbea12f48e61bnicholesREADME
bb2b38cd44b032118359afbc743efbea12f48e61bnicholesREADME.installer
bb2b38cd44b032118359afbc743efbea12f48e61bnicholesReleaseMakefile
bb2b38cd44b032118359afbc743efbea12f48e61bnicholesSoftFOL.hs
bb2b38cd44b032118359afbc743efbea12f48e61bnicholesSoftFOL/
bb2b38cd44b032118359afbc743efbea12f48e61bnicholesStatic.hs
bb2b38cd44b032118359afbc743efbea12f48e61bnicholesStatic/
bb2b38cd44b032118359afbc743efbea12f48e61bnicholesSyntax/
ac7985784d08a3655291f24f711812b4d8b1cbcffuankgTaxonomy.hs
bb2b38cd44b032118359afbc743efbea12f48e61bnicholesTaxonomy/
bb2b38cd44b032118359afbc743efbea12f48e61bnicholesTest.hs
bb2b38cd44b032118359afbc743efbea12f48e61bnicholesToHaskell/
bb2b38cd44b032118359afbc743efbea12f48e61bnicholesclean.lst
bb2b38cd44b032118359afbc743efbea12f48e61bnicholesclean.sh
bb2b38cd44b032118359afbc743efbea12f48e61bnicholesdoc/
bb2b38cd44b032118359afbc743efbea12f48e61bnicholeshaifa-lite/
bb2b38cd44b032118359afbc743efbea12f48e61bnicholeshets.hs
bb2b38cd44b032118359afbc743efbea12f48e61bnicholeshets.in
bb2b38cd44b032118359afbc743efbea12f48e61bnicholesideas
bb2b38cd44b032118359afbc743efbea12f48e61bnicholesmini/
bb2b38cd44b032118359afbc743efbea12f48e61bnicholespretty/
bb2b38cd44b032118359afbc743efbea12f48e61bnicholessample-ghci-script
ac7985784d08a3655291f24f711812b4d8b1cbcffuankgsyb-generics/
bb2b38cd44b032118359afbc743efbea12f48e61bnicholestest/
bb2b38cd44b032118359afbc743efbea12f48e61bnicholestodo
bb2b38cd44b032118359afbc743efbea12f48e61bnicholesutils/
bb2b38cd44b032118359afbc743efbea12f48e61bnicholesversion_nr
bb2b38cd44b032118359afbc743efbea12f48e61bnicholes