Coerce.hs revision 85ebda7270c6883b503d3bde4757033c09c25644
2450a4210dee64b064499a3a1154129bdfc74981Daniel Hausmanntree 85ebda7270c6883b503d3bde4757033c09c25644:
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 HausmannDL.hs
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannDL/
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannDriver.hs
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannDriver/
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannGMP/
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannGUI.hs
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannGUI/
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannHasCASL.hs
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannHasCASL/
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannHaskell.hs
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannHaskell/
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannHets-Haddock-Prologue.txt
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannHets.cabal
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannINSTALL
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannIsabelle.hs
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannIsabelle/
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannLICENSE.txt
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannLIZENZ.txt
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannLogic.hs
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannLogic/
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannLottery/
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannMakefile
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannMakefile.installer
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannMaude/
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannModal.hs
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannModal/
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannModifications/
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannOMDoc.hs
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannOMDoc/
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannOWL.hs
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannOWL/
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannPGIP.hs
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannPGIP/
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannProofs.hs
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannProofs/
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannPropositional.hs
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannPropositional/
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannREADME
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannREADME.installer
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannRelationalScheme.hs
RelationalScheme/
ReleaseMakefile
Search/
SoftFOL.hs
SoftFOL/
Static.hs
Static/
Syntax/
Taxonomy.hs
Taxonomy/
Test.hs
ToHaskell/
VSE/
clean.lst
clean.sh
doc/
haifa-lite/
hets.hs
hets.in
ideas
mini/
pretty/
sample-ghci-script
syb-generics/
test/
todo
utils/
version_nr