BravoAirProcess.owl revision cecfd75627906782ae740bf7c0cf5397a08468f5
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chintree cecfd75627906782ae740bf7c0cf5397a08468f5:
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chin
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chinATC.hs
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chinATC/
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chinCASL.hs
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chinCASL/
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chinCASL_DL.hs
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chinCASL_DL/
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chinCOL.hs
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chinCOL/
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chinCoCASL.hs
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chinCoCASL/
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chinCommon.hs
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chinCommon/
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chinComorphisms.hs
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chinComorphisms/
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chinConstraintCASL/
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chinCspCASL.hs
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chinCspCASL/
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chinDriver.hs
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chinDriver/
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chinGMP/
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chinGUI.hs
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chinGUI/
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chinHasCASL.hs
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chinHasCASL/
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chinHaskell.hs
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chinHaskell/
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chinHets-Haddock-Prologue.txt
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chinHets.cabal
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chinINSTALL
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chinIsabelle.hs
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chinIsabelle/
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chinLICENCE.txt
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chinLICENSE.txt
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chinLIZENZ.txt
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chinLogic.hs
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chinLogic/
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chinLottery/
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chinMakefile
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chinMakefile.installer
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chinModal.hs
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chinModal/
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chinModifications/
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chinOMDoc/
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chinOWL_DL.hs
OWL_DL/
PGIP.hs
PGIP/
Proofs.hs
Proofs/
Propositional.hs
Propositional/
README
README.installer
ReleaseMakefile
SoftFOL.hs
SoftFOL/
Static.hs
Static/
Syntax/
Taxonomy.hs
Taxonomy/
Test.hs
ToHaskell/
clean.lst
clean.sh
doc/
haifa-lite/
hets.hs
hets.in
ideas
mini/
pretty/
sample-ghci-script
syb-generics/
test/
todo
utils/
version_nr