Makefile revision f2f9df2e17e70674f0bf426ed1763c973ee4cde0
2450a4210dee64b064499a3a1154129bdfc74981Daniel Hausmanntree f2f9df2e17e70674f0bf426ed1763c973ee4cde0:
2450a4210dee64b064499a3a1154129bdfc74981Daniel Hausmann
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannATC/
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannCASL/
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannCOL/
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannCoCASL/
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannCommon/
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannComorphisms/
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannCspCASL/
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannGUI/
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannHasCASL/
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannHaskell/
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannHatchet/
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannINSTALL
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannIsabelle/
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannLICENCE.txt
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannLIZENZ.txt
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannLogic/
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannLottery/
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannMakefile
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannModal/
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannOWL_DL/
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannProofs/
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannREADME
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannReleaseMakefile
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannStatic/
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannSyntax/
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannTaxonomy/
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannTest.hs
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannToHaskell/
2450a4210dee64b064499a3a1154129bdfc74981Daniel Hausmannclean.lst
2450a4210dee64b064499a3a1154129bdfc74981Daniel Hausmannclean.sh
2450a4210dee64b064499a3a1154129bdfc74981Daniel Hausmanndoc/
2450a4210dee64b064499a3a1154129bdfc74981Daniel Hausmanndocs/
2450a4210dee64b064499a3a1154129bdfc74981Daniel Hausmannfgl/
2450a4210dee64b064499a3a1154129bdfc74981Daniel Hausmannghc/
2450a4210dee64b064499a3a1154129bdfc74981Daniel Hausmannhaterm-1.0/
2450a4210dee64b064499a3a1154129bdfc74981Daniel Hausmannhetcats/
2450a4210dee64b064499a3a1154129bdfc74981Daniel Hausmannhets.hs
2450a4210dee64b064499a3a1154129bdfc74981Daniel Hausmannhugs/
2450a4210dee64b064499a3a1154129bdfc74981Daniel Hausmannhxt/
2450a4210dee64b064499a3a1154129bdfc74981Daniel Hausmannideas
2450a4210dee64b064499a3a1154129bdfc74981Daniel Hausmanninstall.sh
2450a4210dee64b064499a3a1154129bdfc74981Daniel Hausmannmini/
2450a4210dee64b064499a3a1154129bdfc74981Daniel Hausmanntest/
2450a4210dee64b064499a3a1154129bdfc74981Daniel Hausmanntodo
2450a4210dee64b064499a3a1154129bdfc74981Daniel Hausmannutils/
2450a4210dee64b064499a3a1154129bdfc74981Daniel Hausmannversion_nr
2450a4210dee64b064499a3a1154129bdfc74981Daniel Hausmann