Makefile revision f8e1a1eca871a26a535a4ee7d51902ba94b1db1e
617e2443dfc17fe44fd44c0675d6aad2ffc9df42Mark Logantree f8e1a1eca871a26a535a4ee7d51902ba94b1db1e:
617e2443dfc17fe44fd44c0675d6aad2ffc9df42Mark Logan
617e2443dfc17fe44fd44c0675d6aad2ffc9df42Mark LoganATC.hs
617e2443dfc17fe44fd44c0675d6aad2ffc9df42Mark LoganATC/
617e2443dfc17fe44fd44c0675d6aad2ffc9df42Mark LoganCASL.hs
617e2443dfc17fe44fd44c0675d6aad2ffc9df42Mark LoganCASL/
617e2443dfc17fe44fd44c0675d6aad2ffc9df42Mark LoganCASL_DL.hs
617e2443dfc17fe44fd44c0675d6aad2ffc9df42Mark LoganCASL_DL/
617e2443dfc17fe44fd44c0675d6aad2ffc9df42Mark LoganCOL.hs
617e2443dfc17fe44fd44c0675d6aad2ffc9df42Mark LoganCOL/
617e2443dfc17fe44fd44c0675d6aad2ffc9df42Mark LoganCoCASL.hs
617e2443dfc17fe44fd44c0675d6aad2ffc9df42Mark LoganCoCASL/
617e2443dfc17fe44fd44c0675d6aad2ffc9df42Mark LoganCommon.hs
617e2443dfc17fe44fd44c0675d6aad2ffc9df42Mark LoganCommon/
617e2443dfc17fe44fd44c0675d6aad2ffc9df42Mark LoganComorphisms.hs
617e2443dfc17fe44fd44c0675d6aad2ffc9df42Mark LoganComorphisms/
617e2443dfc17fe44fd44c0675d6aad2ffc9df42Mark LoganConstraintCASL/
617e2443dfc17fe44fd44c0675d6aad2ffc9df42Mark LoganCspCASL.hs
617e2443dfc17fe44fd44c0675d6aad2ffc9df42Mark LoganCspCASL/
617e2443dfc17fe44fd44c0675d6aad2ffc9df42Mark LoganDL.hs
617e2443dfc17fe44fd44c0675d6aad2ffc9df42Mark LoganDL/
617e2443dfc17fe44fd44c0675d6aad2ffc9df42Mark LoganDriver.hs
617e2443dfc17fe44fd44c0675d6aad2ffc9df42Mark LoganDriver/
617e2443dfc17fe44fd44c0675d6aad2ffc9df42Mark LoganGMP/
617e2443dfc17fe44fd44c0675d6aad2ffc9df42Mark LoganGUI.hs
617e2443dfc17fe44fd44c0675d6aad2ffc9df42Mark LoganGUI/
617e2443dfc17fe44fd44c0675d6aad2ffc9df42Mark LoganHasCASL.hs
617e2443dfc17fe44fd44c0675d6aad2ffc9df42Mark LoganHasCASL/
617e2443dfc17fe44fd44c0675d6aad2ffc9df42Mark LoganHaskell.hs
617e2443dfc17fe44fd44c0675d6aad2ffc9df42Mark LoganHaskell/
617e2443dfc17fe44fd44c0675d6aad2ffc9df42Mark LoganHets-Haddock-Prologue.txt
617e2443dfc17fe44fd44c0675d6aad2ffc9df42Mark LoganHets.cabal
617e2443dfc17fe44fd44c0675d6aad2ffc9df42Mark LoganINSTALL
617e2443dfc17fe44fd44c0675d6aad2ffc9df42Mark LoganIsabelle.hs
617e2443dfc17fe44fd44c0675d6aad2ffc9df42Mark LoganIsabelle/
617e2443dfc17fe44fd44c0675d6aad2ffc9df42Mark LoganLICENSE.txt
617e2443dfc17fe44fd44c0675d6aad2ffc9df42Mark LoganLIZENZ.txt
617e2443dfc17fe44fd44c0675d6aad2ffc9df42Mark LoganLogic.hs
617e2443dfc17fe44fd44c0675d6aad2ffc9df42Mark LoganLogic/
617e2443dfc17fe44fd44c0675d6aad2ffc9df42Mark LoganLottery/
617e2443dfc17fe44fd44c0675d6aad2ffc9df42Mark LoganMakefile
617e2443dfc17fe44fd44c0675d6aad2ffc9df42Mark LoganMakefile.installer
617e2443dfc17fe44fd44c0675d6aad2ffc9df42Mark LoganMaude/
617e2443dfc17fe44fd44c0675d6aad2ffc9df42Mark LoganModal.hs
617e2443dfc17fe44fd44c0675d6aad2ffc9df42Mark LoganModal/
617e2443dfc17fe44fd44c0675d6aad2ffc9df42Mark LoganModifications/
617e2443dfc17fe44fd44c0675d6aad2ffc9df42Mark LoganOMDoc/
617e2443dfc17fe44fd44c0675d6aad2ffc9df42Mark LoganOWL.hs
617e2443dfc17fe44fd44c0675d6aad2ffc9df42Mark LoganOWL/
617e2443dfc17fe44fd44c0675d6aad2ffc9df42Mark LoganPGIP.hs
617e2443dfc17fe44fd44c0675d6aad2ffc9df42Mark LoganPGIP/
617e2443dfc17fe44fd44c0675d6aad2ffc9df42Mark LoganProofs.hs
617e2443dfc17fe44fd44c0675d6aad2ffc9df42Mark LoganProofs/
617e2443dfc17fe44fd44c0675d6aad2ffc9df42Mark LoganPropositional.hs
617e2443dfc17fe44fd44c0675d6aad2ffc9df42Mark LoganPropositional/
617e2443dfc17fe44fd44c0675d6aad2ffc9df42Mark LoganREADME
617e2443dfc17fe44fd44c0675d6aad2ffc9df42Mark LoganREADME.installer
617e2443dfc17fe44fd44c0675d6aad2ffc9df42Mark LoganRelationalScheme.hs
617e2443dfc17fe44fd44c0675d6aad2ffc9df42Mark LoganRelationalScheme/
617e2443dfc17fe44fd44c0675d6aad2ffc9df42Mark LoganReleaseMakefile
617e2443dfc17fe44fd44c0675d6aad2ffc9df42Mark LoganSearch/
617e2443dfc17fe44fd44c0675d6aad2ffc9df42Mark LoganSoftFOL.hs
617e2443dfc17fe44fd44c0675d6aad2ffc9df42Mark LoganSoftFOL/
617e2443dfc17fe44fd44c0675d6aad2ffc9df42Mark LoganStatic.hs
617e2443dfc17fe44fd44c0675d6aad2ffc9df42Mark LoganStatic/
617e2443dfc17fe44fd44c0675d6aad2ffc9df42Mark LoganSyntax/
617e2443dfc17fe44fd44c0675d6aad2ffc9df42Mark LoganTaxonomy.hs
617e2443dfc17fe44fd44c0675d6aad2ffc9df42Mark LoganTaxonomy/
617e2443dfc17fe44fd44c0675d6aad2ffc9df42Mark LoganTest.hs
617e2443dfc17fe44fd44c0675d6aad2ffc9df42Mark LoganToHaskell/
617e2443dfc17fe44fd44c0675d6aad2ffc9df42Mark LoganVSE/
617e2443dfc17fe44fd44c0675d6aad2ffc9df42Mark Loganclean.lst
617e2443dfc17fe44fd44c0675d6aad2ffc9df42Mark Loganclean.sh
617e2443dfc17fe44fd44c0675d6aad2ffc9df42Mark Logandoc/
617e2443dfc17fe44fd44c0675d6aad2ffc9df42Mark Loganhaifa-lite/
617e2443dfc17fe44fd44c0675d6aad2ffc9df42Mark Loganhets.hs
617e2443dfc17fe44fd44c0675d6aad2ffc9df42Mark Loganhets.in
617e2443dfc17fe44fd44c0675d6aad2ffc9df42Mark Loganideas
617e2443dfc17fe44fd44c0675d6aad2ffc9df42Mark Loganmini/
617e2443dfc17fe44fd44c0675d6aad2ffc9df42Mark Loganpretty/
617e2443dfc17fe44fd44c0675d6aad2ffc9df42Mark Logansample-ghci-script
617e2443dfc17fe44fd44c0675d6aad2ffc9df42Mark Logansyb-generics/
617e2443dfc17fe44fd44c0675d6aad2ffc9df42Mark Logantest/
617e2443dfc17fe44fd44c0675d6aad2ffc9df42Mark Logantodo
617e2443dfc17fe44fd44c0675d6aad2ffc9df42Mark Loganutils/
617e2443dfc17fe44fd44c0675d6aad2ffc9df42Mark Loganversion_nr
617e2443dfc17fe44fd44c0675d6aad2ffc9df42Mark Logan