Coerce.hs revision ad270004874ce1d0697fb30d7309f180553bb315
2450a4210dee64b064499a3a1154129bdfc74981Daniel Hausmanntree ad270004874ce1d0697fb30d7309f180553bb315:
2450a4210dee64b064499a3a1154129bdfc74981Daniel Hausmann
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannATC.hs
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannATC/
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannCASL.hs
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannCASL/
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannCASL_DL.hs
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannCASL_DL/
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannCOL.hs
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannCOL/
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannCoCASL.hs
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannCoCASL/
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannCommon.hs
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannCommon/
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannComorphisms.hs
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannComorphisms/
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannConstraintCASL/
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannCspCASL.hs
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannCspCASL/
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannDriver.hs
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannDriver/
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannGUI.hs
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannGUI/
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannHasCASL.hs
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannHasCASL/
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannHaskell.hs
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannHaskell/
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannHets-Haddock-Prologue.txt
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannINSTALL
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannIsabelle.hs
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannIsabelle/
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannLICENCE.txt
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannLICENSE.txt
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannLIZENZ.txt
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannLogic.hs
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannLogic/
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannLottery/
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannMakefile
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannMakefile.installer
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannModal.hs
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannModal/
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannOMDoc/
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannOWL_DL.hs
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannOWL_DL/
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannPGIP.hs
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannPGIP/
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannProofs.hs
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannProofs/
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannPropositional.hs
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannPropositional/
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannREADME
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannReleaseMakefile
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannSPASS.hs
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannSPASS/
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannStatic.hs
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannStatic/
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannSyntax/
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannTaxonomy.hs
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannTaxonomy/
Test.hs
ToHaskell/
clean.lst
clean.sh
cvs-howto
doc/
haifa-lite/
hets.hs
hets.in
ideas
mini/
pretty/
sample-ghci-script
syb-generics/
test/
todo
utils/
version_nr