Morphism.hs revision 648fe1220044aac847acbdfbc4155af5556063eb
a0ab15ceb80290db80c2052520830a95390de385Sumit Bosetree 648fe1220044aac847acbdfbc4155af5556063eb:
a0ab15ceb80290db80c2052520830a95390de385Sumit Bose
a0ab15ceb80290db80c2052520830a95390de385Sumit BoseATC.hs
a0ab15ceb80290db80c2052520830a95390de385Sumit BoseATC/
a0ab15ceb80290db80c2052520830a95390de385Sumit BoseAdl/
a0ab15ceb80290db80c2052520830a95390de385Sumit BoseCASL.hs
a0ab15ceb80290db80c2052520830a95390de385Sumit BoseCASL/
a0ab15ceb80290db80c2052520830a95390de385Sumit BoseCASL_DL.hs
a0ab15ceb80290db80c2052520830a95390de385Sumit BoseCASL_DL/
a0ab15ceb80290db80c2052520830a95390de385Sumit BoseCMDL.hs
a0ab15ceb80290db80c2052520830a95390de385Sumit BoseCMDL/
a0ab15ceb80290db80c2052520830a95390de385Sumit BoseCOL.hs
a0ab15ceb80290db80c2052520830a95390de385Sumit BoseCOL/
a0ab15ceb80290db80c2052520830a95390de385Sumit BoseCSL/
a0ab15ceb80290db80c2052520830a95390de385Sumit BoseCoCASL.hs
a0ab15ceb80290db80c2052520830a95390de385Sumit BoseCoCASL/
a0ab15ceb80290db80c2052520830a95390de385Sumit BoseCommon.hs
a0ab15ceb80290db80c2052520830a95390de385Sumit BoseCommon/
a0ab15ceb80290db80c2052520830a95390de385Sumit BoseCommonLogic/
a0ab15ceb80290db80c2052520830a95390de385Sumit BoseComorphisms.hs
a0ab15ceb80290db80c2052520830a95390de385Sumit BoseComorphisms/
a0ab15ceb80290db80c2052520830a95390de385Sumit BoseConstraintCASL/
a0ab15ceb80290db80c2052520830a95390de385Sumit BoseConstraints/
a0ab15ceb80290db80c2052520830a95390de385Sumit BoseCspCASL.hs
a0ab15ceb80290db80c2052520830a95390de385Sumit BoseCspCASL/
a0ab15ceb80290db80c2052520830a95390de385Sumit BoseCspCASLProver.hs
41f13bb048dbc4241dcfc024cdc3ec535510ba6bLukas SlebodnikCspCASLProver/
a0ab15ceb80290db80c2052520830a95390de385Sumit BoseDFOL/
576ad637181b80d39a4e136c9afbf34c57f76156Sumit BoseDMU/
576ad637181b80d39a4e136c9afbf34c57f76156Sumit BoseDriver.hs
576ad637181b80d39a4e136c9afbf34c57f76156Sumit BoseDriver/
576ad637181b80d39a4e136c9afbf34c57f76156Sumit BoseExtModal.hs
576ad637181b80d39a4e136c9afbf34c57f76156Sumit BoseExtModal/
576ad637181b80d39a4e136c9afbf34c57f76156Sumit BoseFpl/
576ad637181b80d39a4e136c9afbf34c57f76156Sumit BoseFramework.hs
576ad637181b80d39a4e136c9afbf34c57f76156Sumit BoseFramework/
576ad637181b80d39a4e136c9afbf34c57f76156Sumit BoseFreeCAD/
576ad637181b80d39a4e136c9afbf34c57f76156Sumit BoseGMP/
576ad637181b80d39a4e136c9afbf34c57f76156Sumit BoseGUI.hs
576ad637181b80d39a4e136c9afbf34c57f76156Sumit BoseGUI/
576ad637181b80d39a4e136c9afbf34c57f76156Sumit BoseHasCASL.hs
576ad637181b80d39a4e136c9afbf34c57f76156Sumit BoseHasCASL/
576ad637181b80d39a4e136c9afbf34c57f76156Sumit BoseHaskell.hs
576ad637181b80d39a4e136c9afbf34c57f76156Sumit BoseHaskell/
576ad637181b80d39a4e136c9afbf34c57f76156Sumit BoseHets-Haddock-Prologue.txt
576ad637181b80d39a4e136c9afbf34c57f76156Sumit BoseHets.cabal
576ad637181b80d39a4e136c9afbf34c57f76156Sumit BoseHolLight/
576ad637181b80d39a4e136c9afbf34c57f76156Sumit BoseINSTALL
576ad637181b80d39a4e136c9afbf34c57f76156Sumit BoseInterfaces/
576ad637181b80d39a4e136c9afbf34c57f76156Sumit BoseIsabelle.hs
576ad637181b80d39a4e136c9afbf34c57f76156Sumit BoseIsabelle/
576ad637181b80d39a4e136c9afbf34c57f76156Sumit BoseLF/
576ad637181b80d39a4e136c9afbf34c57f76156Sumit BoseLICENSE.txt
576ad637181b80d39a4e136c9afbf34c57f76156Sumit BoseLIZENZ.txt
576ad637181b80d39a4e136c9afbf34c57f76156Sumit BoseLogic.hs
576ad637181b80d39a4e136c9afbf34c57f76156Sumit BoseLogic/
576ad637181b80d39a4e136c9afbf34c57f76156Sumit BoseLottery/
576ad637181b80d39a4e136c9afbf34c57f76156Sumit BoseMakefile
576ad637181b80d39a4e136c9afbf34c57f76156Sumit BoseMakefile.installer
576ad637181b80d39a4e136c9afbf34c57f76156Sumit BoseMaude/
576ad637181b80d39a4e136c9afbf34c57f76156Sumit BoseModal.hs
576ad637181b80d39a4e136c9afbf34c57f76156Sumit BoseModal/
576ad637181b80d39a4e136c9afbf34c57f76156Sumit BoseModifications/
576ad637181b80d39a4e136c9afbf34c57f76156Sumit BoseOMDoc.hs
576ad637181b80d39a4e136c9afbf34c57f76156Sumit BoseOMDoc/
576ad637181b80d39a4e136c9afbf34c57f76156Sumit BoseOWL.hs
576ad637181b80d39a4e136c9afbf34c57f76156Sumit BoseOWL/
576ad637181b80d39a4e136c9afbf34c57f76156Sumit BoseOmega/
576ad637181b80d39a4e136c9afbf34c57f76156Sumit BosePGIP/
576ad637181b80d39a4e136c9afbf34c57f76156Sumit BoseProofs.hs
576ad637181b80d39a4e136c9afbf34c57f76156Sumit BoseProofs/
576ad637181b80d39a4e136c9afbf34c57f76156Sumit BosePropositional.hs
576ad637181b80d39a4e136c9afbf34c57f76156Sumit BosePropositional/
576ad637181b80d39a4e136c9afbf34c57f76156Sumit BoseQBF/
576ad637181b80d39a4e136c9afbf34c57f76156Sumit BoseREADME
576ad637181b80d39a4e136c9afbf34c57f76156Sumit BoseREADME.installer
576ad637181b80d39a4e136c9afbf34c57f76156Sumit BoseRelationalScheme.hs
576ad637181b80d39a4e136c9afbf34c57f76156Sumit BoseRelationalScheme/
576ad637181b80d39a4e136c9afbf34c57f76156Sumit BoseReleaseMakefile
576ad637181b80d39a4e136c9afbf34c57f76156Sumit BoseScratch.hs
576ad637181b80d39a4e136c9afbf34c57f76156Sumit BoseSearch/
576ad637181b80d39a4e136c9afbf34c57f76156Sumit BoseSoftFOL.hs
576ad637181b80d39a4e136c9afbf34c57f76156Sumit BoseSoftFOL/
576ad637181b80d39a4e136c9afbf34c57f76156Sumit BoseStatic.hs
576ad637181b80d39a4e136c9afbf34c57f76156Sumit BoseStatic/
576ad637181b80d39a4e136c9afbf34c57f76156Sumit BoseSyntax/
576ad637181b80d39a4e136c9afbf34c57f76156Sumit BoseTaxonomy.hs
a0ab15ceb80290db80c2052520830a95390de385Sumit BoseTaxonomy/
41f13bb048dbc4241dcfc024cdc3ec535510ba6bLukas SlebodnikTemporal/
a0ab15ceb80290db80c2052520830a95390de385Sumit BoseToHaskell/
a0ab15ceb80290db80c2052520830a95390de385Sumit BoseVSE/
a0ab15ceb80290db80c2052520830a95390de385Sumit Boseatermlib/
a0ab15ceb80290db80c2052520830a95390de385Sumit Bosebuild.xml
a0ab15ceb80290db80c2052520830a95390de385Sumit Boseclean.lst
a0ab15ceb80290db80c2052520830a95390de385Sumit Boseclean.sh
576ad637181b80d39a4e136c9afbf34c57f76156Sumit Bosedoc/
a0ab15ceb80290db80c2052520830a95390de385Sumit Bosehets.hs
a0ab15ceb80290db80c2052520830a95390de385Sumit Bosehets.in
a0ab15ceb80290db80c2052520830a95390de385Sumit Boseideas
576ad637181b80d39a4e136c9afbf34c57f76156Sumit Bosemini/
41f13bb048dbc4241dcfc024cdc3ec535510ba6bLukas Slebodnikpretty/
a0ab15ceb80290db80c2052520830a95390de385Sumit Boseprogramatica
a0ab15ceb80290db80c2052520830a95390de385Sumit Bosesample-ghci-script
a0ab15ceb80290db80c2052520830a95390de385Sumit Bosetest/
a0ab15ceb80290db80c2052520830a95390de385Sumit Bosetodo
a0ab15ceb80290db80c2052520830a95390de385Sumit Boseutils/
a0ab15ceb80290db80c2052520830a95390de385Sumit Bosevar.mk
a0ab15ceb80290db80c2052520830a95390de385Sumit Boseversion_nr
a0ab15ceb80290db80c2052520830a95390de385Sumit Bose