OpDecl.hs revision 61e38a4f194d3adc66646326c938eb9263a2f39b
e687bd70d6e6c98d82b239e01fef4a60de6739f4Till Mossakowskitree 61e38a4f194d3adc66646326c938eb9263a2f39b:
0095c7efbddd0ffeed6aaf8ec015346be161d819Till Mossakowski
0095c7efbddd0ffeed6aaf8ec015346be161d819Till MossakowskiATC.hs
e687bd70d6e6c98d82b239e01fef4a60de6739f4Till MossakowskiATC/
be408ef9713fbbbaf7bde82618f7d3f204fe806cTill MossakowskiCASL.hs
be408ef9713fbbbaf7bde82618f7d3f204fe806cTill MossakowskiCASL/
be408ef9713fbbbaf7bde82618f7d3f204fe806cTill MossakowskiCASL_DL.hs
be408ef9713fbbbaf7bde82618f7d3f204fe806cTill MossakowskiCASL_DL/
be408ef9713fbbbaf7bde82618f7d3f204fe806cTill MossakowskiCOL.hs
be408ef9713fbbbaf7bde82618f7d3f204fe806cTill MossakowskiCOL/
be408ef9713fbbbaf7bde82618f7d3f204fe806cTill MossakowskiCoCASL.hs
be408ef9713fbbbaf7bde82618f7d3f204fe806cTill MossakowskiCoCASL/
be408ef9713fbbbaf7bde82618f7d3f204fe806cTill MossakowskiCommon.hs
be408ef9713fbbbaf7bde82618f7d3f204fe806cTill MossakowskiCommon/
be408ef9713fbbbaf7bde82618f7d3f204fe806cTill MossakowskiComorphisms.hs
be408ef9713fbbbaf7bde82618f7d3f204fe806cTill MossakowskiComorphisms/
be408ef9713fbbbaf7bde82618f7d3f204fe806cTill MossakowskiConstraintCASL/
be408ef9713fbbbaf7bde82618f7d3f204fe806cTill MossakowskiCspCASL.hs
be408ef9713fbbbaf7bde82618f7d3f204fe806cTill MossakowskiCspCASL/
be408ef9713fbbbaf7bde82618f7d3f204fe806cTill MossakowskiDL.hs
be408ef9713fbbbaf7bde82618f7d3f204fe806cTill MossakowskiDL/
be408ef9713fbbbaf7bde82618f7d3f204fe806cTill MossakowskiDriver.hs
be408ef9713fbbbaf7bde82618f7d3f204fe806cTill MossakowskiDriver/
be408ef9713fbbbaf7bde82618f7d3f204fe806cTill MossakowskiGMP/
be408ef9713fbbbaf7bde82618f7d3f204fe806cTill MossakowskiGUI.hs
be408ef9713fbbbaf7bde82618f7d3f204fe806cTill MossakowskiGUI/
be408ef9713fbbbaf7bde82618f7d3f204fe806cTill MossakowskiHasCASL.hs
be408ef9713fbbbaf7bde82618f7d3f204fe806cTill MossakowskiHasCASL/
be408ef9713fbbbaf7bde82618f7d3f204fe806cTill MossakowskiHaskell.hs
be408ef9713fbbbaf7bde82618f7d3f204fe806cTill MossakowskiHaskell/
e687bd70d6e6c98d82b239e01fef4a60de6739f4Till MossakowskiHets-Haddock-Prologue.txt
e687bd70d6e6c98d82b239e01fef4a60de6739f4Till MossakowskiHets.cabal
be408ef9713fbbbaf7bde82618f7d3f204fe806cTill MossakowskiINSTALL
be408ef9713fbbbaf7bde82618f7d3f204fe806cTill MossakowskiIsabelle.hs
e687bd70d6e6c98d82b239e01fef4a60de6739f4Till MossakowskiIsabelle/
e687bd70d6e6c98d82b239e01fef4a60de6739f4Till MossakowskiLICENSE.txt
e687bd70d6e6c98d82b239e01fef4a60de6739f4Till MossakowskiLIZENZ.txt
e687bd70d6e6c98d82b239e01fef4a60de6739f4Till MossakowskiLogic.hs
7474388b4c2236f8ab2327289555000268c7901aTill MossakowskiLogic/
7474388b4c2236f8ab2327289555000268c7901aTill MossakowskiLottery/
7474388b4c2236f8ab2327289555000268c7901aTill MossakowskiMakefile
7474388b4c2236f8ab2327289555000268c7901aTill MossakowskiMakefile.installer
7474388b4c2236f8ab2327289555000268c7901aTill MossakowskiMaude/
e687bd70d6e6c98d82b239e01fef4a60de6739f4Till MossakowskiModal.hs
e687bd70d6e6c98d82b239e01fef4a60de6739f4Till MossakowskiModal/
e687bd70d6e6c98d82b239e01fef4a60de6739f4Till MossakowskiModifications/
e687bd70d6e6c98d82b239e01fef4a60de6739f4Till MossakowskiOMDoc/
e687bd70d6e6c98d82b239e01fef4a60de6739f4Till MossakowskiOWL.hs
e687bd70d6e6c98d82b239e01fef4a60de6739f4Till MossakowskiOWL/
e687bd70d6e6c98d82b239e01fef4a60de6739f4Till MossakowskiPGIP.hs
e687bd70d6e6c98d82b239e01fef4a60de6739f4Till MossakowskiPGIP/
4918e2f622cfb96f9a57b7617cd18ca7e4f8b5d4Christian MaederProofs.hs
Proofs/
Propositional.hs
Propositional/
README
README.installer
RelationalScheme.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