Synonym.hs.out revision 8dd33a794b7ab4f0da70b290e424e4fae162b3a4
1a38107941725211e7c3f051f7a8f5e12199f03acmaedertree 8dd33a794b7ab4f0da70b290e424e4fae162b3a4:
d3d15411081a9ac4a84d409079153135bb30442aDaniel Calegari
e9458b1a7a19a63aa4c179f9ab20f4d50681c168Jens ElknerATC.hs
d3d15411081a9ac4a84d409079153135bb30442aDaniel CalegariATC/
d3d15411081a9ac4a84d409079153135bb30442aDaniel CalegariCASL.hs
d3d15411081a9ac4a84d409079153135bb30442aDaniel CalegariCASL/
d3d15411081a9ac4a84d409079153135bb30442aDaniel CalegariCASL_DL.hs
d3d15411081a9ac4a84d409079153135bb30442aDaniel CalegariCASL_DL/
d3d15411081a9ac4a84d409079153135bb30442aDaniel CalegariCOL.hs
d3d15411081a9ac4a84d409079153135bb30442aDaniel CalegariCOL/
d3d15411081a9ac4a84d409079153135bb30442aDaniel CalegariCoCASL.hs
d3d15411081a9ac4a84d409079153135bb30442aDaniel CalegariCoCASL/
d3d15411081a9ac4a84d409079153135bb30442aDaniel CalegariCommon.hs
acc049a844d19fb294ce7f68742390dee87447dcDaniel CalegariCommon/
d3d15411081a9ac4a84d409079153135bb30442aDaniel CalegariComorphisms.hs
d3d15411081a9ac4a84d409079153135bb30442aDaniel CalegariComorphisms/
d3d15411081a9ac4a84d409079153135bb30442aDaniel CalegariConstraintCASL/
acc049a844d19fb294ce7f68742390dee87447dcDaniel CalegariCspCASL.hs
acc049a844d19fb294ce7f68742390dee87447dcDaniel CalegariCspCASL/
acc049a844d19fb294ce7f68742390dee87447dcDaniel CalegariDriver.hs
acc049a844d19fb294ce7f68742390dee87447dcDaniel CalegariDriver/
1a38107941725211e7c3f051f7a8f5e12199f03acmaederGMP/
d3d15411081a9ac4a84d409079153135bb30442aDaniel CalegariGUI.hs
d3d15411081a9ac4a84d409079153135bb30442aDaniel CalegariGUI/
d3d15411081a9ac4a84d409079153135bb30442aDaniel CalegariHasCASL.hs
1a38107941725211e7c3f051f7a8f5e12199f03acmaederHasCASL/
1a38107941725211e7c3f051f7a8f5e12199f03acmaederHaskell.hs
a58d43a4b2864a25ab74b96758fb9d98f18eeed7Daniel CalegariHaskell/
acc049a844d19fb294ce7f68742390dee87447dcDaniel CalegariHets-Haddock-Prologue.txt
eb06c6332e2e2ef6f5d1cdd74c5ce7abbd23de28Daniel CalegariHets.cabal
eb06c6332e2e2ef6f5d1cdd74c5ce7abbd23de28Daniel CalegariINSTALL
acc049a844d19fb294ce7f68742390dee87447dcDaniel CalegariIsabelle.hs
3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von SchroederIsabelle/
1a38107941725211e7c3f051f7a8f5e12199f03acmaederLICENCE.txt
acc049a844d19fb294ce7f68742390dee87447dcDaniel CalegariLICENSE.txt
acc049a844d19fb294ce7f68742390dee87447dcDaniel CalegariLIZENZ.txt
eb06c6332e2e2ef6f5d1cdd74c5ce7abbd23de28Daniel CalegariLogic.hs
a58d43a4b2864a25ab74b96758fb9d98f18eeed7Daniel CalegariLogic/
a58d43a4b2864a25ab74b96758fb9d98f18eeed7Daniel CalegariLottery/
d3d15411081a9ac4a84d409079153135bb30442aDaniel CalegariMakefile
d3d15411081a9ac4a84d409079153135bb30442aDaniel CalegariMakefile.installer
a58d43a4b2864a25ab74b96758fb9d98f18eeed7Daniel CalegariModal.hs
d3d15411081a9ac4a84d409079153135bb30442aDaniel CalegariModal/
acc049a844d19fb294ce7f68742390dee87447dcDaniel CalegariModifications/
acc049a844d19fb294ce7f68742390dee87447dcDaniel CalegariOMDoc/
acc049a844d19fb294ce7f68742390dee87447dcDaniel CalegariOWL_DL.hs
1a38107941725211e7c3f051f7a8f5e12199f03acmaederOWL_DL/
a58d43a4b2864a25ab74b96758fb9d98f18eeed7Daniel CalegariPGIP.hs
acc049a844d19fb294ce7f68742390dee87447dcDaniel CalegariPGIP/
3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von SchroederProofs.hs
3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von SchroederProofs/
3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von SchroederPropositional.hs
d3d15411081a9ac4a84d409079153135bb30442aDaniel CalegariPropositional/
d3d15411081a9ac4a84d409079153135bb30442aDaniel CalegariREADME
acc049a844d19fb294ce7f68742390dee87447dcDaniel CalegariREADME.installer
acc049a844d19fb294ce7f68742390dee87447dcDaniel CalegariReleaseMakefile
1a38107941725211e7c3f051f7a8f5e12199f03acmaederSoftFOL.hs
acc049a844d19fb294ce7f68742390dee87447dcDaniel CalegariSoftFOL/
acc049a844d19fb294ce7f68742390dee87447dcDaniel CalegariStatic.hs
3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von SchroederStatic/
3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von SchroederSyntax/
3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von SchroederTaxonomy.hs
3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von SchroederTaxonomy/
3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von SchroederTest.hs
3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von SchroederToHaskell/
acc049a844d19fb294ce7f68742390dee87447dcDaniel Calegariclean.lst
acc049a844d19fb294ce7f68742390dee87447dcDaniel Calegariclean.sh
acc049a844d19fb294ce7f68742390dee87447dcDaniel Calegaridoc/
acc049a844d19fb294ce7f68742390dee87447dcDaniel Calegarihaifa-lite/
acc049a844d19fb294ce7f68742390dee87447dcDaniel Calegarihets.hs
acc049a844d19fb294ce7f68742390dee87447dcDaniel Calegarihets.in
acc049a844d19fb294ce7f68742390dee87447dcDaniel Calegariideas
acc049a844d19fb294ce7f68742390dee87447dcDaniel Calegarimini/
1a38107941725211e7c3f051f7a8f5e12199f03acmaederpretty/
acc049a844d19fb294ce7f68742390dee87447dcDaniel Calegarisample-ghci-script
acc049a844d19fb294ce7f68742390dee87447dcDaniel Calegarisyb-generics/
acc049a844d19fb294ce7f68742390dee87447dcDaniel Calegaritest/
3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von Schroedertodo
acc049a844d19fb294ce7f68742390dee87447dcDaniel Calegariutils/
acc049a844d19fb294ce7f68742390dee87447dcDaniel Calegariversion_nr
3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von Schroeder