sprmindx.sty revision 2450a4210dee64b064499a3a1154129bdfc74981
3441d0c2d11aea0c39b009751a1898333c009674Stephen Gallaghertree 2450a4210dee64b064499a3a1154129bdfc74981:
3441d0c2d11aea0c39b009751a1898333c009674Stephen Gallagher
3441d0c2d11aea0c39b009751a1898333c009674Stephen GallagherATC.hs
3441d0c2d11aea0c39b009751a1898333c009674Stephen GallagherATC/
3441d0c2d11aea0c39b009751a1898333c009674Stephen GallagherCASL.hs
3441d0c2d11aea0c39b009751a1898333c009674Stephen GallagherCASL/
3441d0c2d11aea0c39b009751a1898333c009674Stephen GallagherCASL_DL.hs
3441d0c2d11aea0c39b009751a1898333c009674Stephen GallagherCASL_DL/
3441d0c2d11aea0c39b009751a1898333c009674Stephen GallagherCMDL.hs
3441d0c2d11aea0c39b009751a1898333c009674Stephen GallagherCMDL/
3441d0c2d11aea0c39b009751a1898333c009674Stephen GallagherCOL.hs
3441d0c2d11aea0c39b009751a1898333c009674Stephen GallagherCOL/
3441d0c2d11aea0c39b009751a1898333c009674Stephen GallagherCSL/
3441d0c2d11aea0c39b009751a1898333c009674Stephen GallagherCoCASL.hs
3441d0c2d11aea0c39b009751a1898333c009674Stephen GallagherCoCASL/
3441d0c2d11aea0c39b009751a1898333c009674Stephen GallagherCommon.hs
3441d0c2d11aea0c39b009751a1898333c009674Stephen GallagherCommon/
3441d0c2d11aea0c39b009751a1898333c009674Stephen GallagherCommonLogic/
3441d0c2d11aea0c39b009751a1898333c009674Stephen GallagherComorphisms.hs
3441d0c2d11aea0c39b009751a1898333c009674Stephen GallagherComorphisms/
3441d0c2d11aea0c39b009751a1898333c009674Stephen GallagherConstraintCASL/
3441d0c2d11aea0c39b009751a1898333c009674Stephen GallagherConstraints/
3441d0c2d11aea0c39b009751a1898333c009674Stephen GallagherCspCASL.hs
3441d0c2d11aea0c39b009751a1898333c009674Stephen GallagherCspCASL/
3441d0c2d11aea0c39b009751a1898333c009674Stephen GallagherCspCASLProver.hs
3441d0c2d11aea0c39b009751a1898333c009674Stephen GallagherCspCASLProver/
5cd4414fce1e0eb4133dfc6fc828bf25c8a959f9Lukas SlebodnikDFOL/
3441d0c2d11aea0c39b009751a1898333c009674Stephen GallagherDMU/
3441d0c2d11aea0c39b009751a1898333c009674Stephen GallagherDriver.hs
3441d0c2d11aea0c39b009751a1898333c009674Stephen GallagherDriver/
3441d0c2d11aea0c39b009751a1898333c009674Stephen GallagherExtModal.hs
3441d0c2d11aea0c39b009751a1898333c009674Stephen GallagherExtModal/
1b171c456ff901ab622e44bcfd213f7de86fd787Ariel BarriaFramework/
1b171c456ff901ab622e44bcfd213f7de86fd787Ariel BarriaGMP/
1b171c456ff901ab622e44bcfd213f7de86fd787Ariel BarriaGUI.hs
3441d0c2d11aea0c39b009751a1898333c009674Stephen GallagherGUI/
3441d0c2d11aea0c39b009751a1898333c009674Stephen GallagherHasCASL.hs
3441d0c2d11aea0c39b009751a1898333c009674Stephen GallagherHasCASL/
3441d0c2d11aea0c39b009751a1898333c009674Stephen GallagherHaskell.hs
3441d0c2d11aea0c39b009751a1898333c009674Stephen GallagherHaskell/
83bf46f4066e3d5e838a32357c201de9bd6ecdfdNikolai KondrashovHets-Haddock-Prologue.txt
83bf46f4066e3d5e838a32357c201de9bd6ecdfdNikolai KondrashovHets.cabal
3441d0c2d11aea0c39b009751a1898333c009674Stephen GallagherINSTALL
3441d0c2d11aea0c39b009751a1898333c009674Stephen GallagherInterfaces/
3441d0c2d11aea0c39b009751a1898333c009674Stephen GallagherIsabelle.hs
1b171c456ff901ab622e44bcfd213f7de86fd787Ariel BarriaIsabelle/
1b171c456ff901ab622e44bcfd213f7de86fd787Ariel BarriaLF/
1b171c456ff901ab622e44bcfd213f7de86fd787Ariel BarriaLICENSE.txt
1b171c456ff901ab622e44bcfd213f7de86fd787Ariel BarriaLIZENZ.txt
1b171c456ff901ab622e44bcfd213f7de86fd787Ariel BarriaLogic.hs
1b171c456ff901ab622e44bcfd213f7de86fd787Ariel BarriaLogic/
a3c8390d19593b1e5277d95bfb4ab206d4785150Nikolai KondrashovLottery/
1b171c456ff901ab622e44bcfd213f7de86fd787Ariel BarriaMakefile
1b171c456ff901ab622e44bcfd213f7de86fd787Ariel BarriaMakefile.installer
1b171c456ff901ab622e44bcfd213f7de86fd787Ariel BarriaMaude/
1b171c456ff901ab622e44bcfd213f7de86fd787Ariel BarriaModal.hs
3441d0c2d11aea0c39b009751a1898333c009674Stephen GallagherModal/
3441d0c2d11aea0c39b009751a1898333c009674Stephen GallagherModifications/
3441d0c2d11aea0c39b009751a1898333c009674Stephen GallagherOMDoc.hs
3441d0c2d11aea0c39b009751a1898333c009674Stephen GallagherOMDoc/
83bf46f4066e3d5e838a32357c201de9bd6ecdfdNikolai KondrashovOWL.hs
3441d0c2d11aea0c39b009751a1898333c009674Stephen GallagherOWL/
3441d0c2d11aea0c39b009751a1898333c009674Stephen GallagherOmega/
3441d0c2d11aea0c39b009751a1898333c009674Stephen GallagherPGIP/
3441d0c2d11aea0c39b009751a1898333c009674Stephen GallagherProofs.hs
3441d0c2d11aea0c39b009751a1898333c009674Stephen GallagherProofs/
3441d0c2d11aea0c39b009751a1898333c009674Stephen GallagherPropositional.hs
3441d0c2d11aea0c39b009751a1898333c009674Stephen GallagherPropositional/
83bf46f4066e3d5e838a32357c201de9bd6ecdfdNikolai KondrashovQBF/
3441d0c2d11aea0c39b009751a1898333c009674Stephen GallagherREADME
3441d0c2d11aea0c39b009751a1898333c009674Stephen GallagherREADME.installer
3441d0c2d11aea0c39b009751a1898333c009674Stephen GallagherRelationalScheme.hs
3441d0c2d11aea0c39b009751a1898333c009674Stephen GallagherRelationalScheme/
3441d0c2d11aea0c39b009751a1898333c009674Stephen GallagherReleaseMakefile
83bf46f4066e3d5e838a32357c201de9bd6ecdfdNikolai KondrashovSearch/
3441d0c2d11aea0c39b009751a1898333c009674Stephen GallagherSoftFOL.hs
3441d0c2d11aea0c39b009751a1898333c009674Stephen GallagherSoftFOL/
3441d0c2d11aea0c39b009751a1898333c009674Stephen GallagherStatic.hs
3441d0c2d11aea0c39b009751a1898333c009674Stephen GallagherStatic/
3441d0c2d11aea0c39b009751a1898333c009674Stephen GallagherSyntax/
83bf46f4066e3d5e838a32357c201de9bd6ecdfdNikolai KondrashovTaxonomy.hs
3441d0c2d11aea0c39b009751a1898333c009674Stephen GallagherTaxonomy/
3441d0c2d11aea0c39b009751a1898333c009674Stephen GallagherTemporal/
3441d0c2d11aea0c39b009751a1898333c009674Stephen GallagherTest.hs
77b13371c87702aee3f858f6b2b73826cf5a01bdJakub HrozekToHaskell/
77b13371c87702aee3f858f6b2b73826cf5a01bdJakub HrozekVSE/
77b13371c87702aee3f858f6b2b73826cf5a01bdJakub Hrozekatermlib/
77b13371c87702aee3f858f6b2b73826cf5a01bdJakub Hrozekbuild.xml
77b13371c87702aee3f858f6b2b73826cf5a01bdJakub Hrozekclean.lst
77b13371c87702aee3f858f6b2b73826cf5a01bdJakub Hrozekclean.sh
3441d0c2d11aea0c39b009751a1898333c009674Stephen Gallagherdoc/
3441d0c2d11aea0c39b009751a1898333c009674Stephen Gallagherhets.hs
77b13371c87702aee3f858f6b2b73826cf5a01bdJakub Hrozekhets.in
77b13371c87702aee3f858f6b2b73826cf5a01bdJakub Hrozekideas
3441d0c2d11aea0c39b009751a1898333c009674Stephen Gallaghermini/
3441d0c2d11aea0c39b009751a1898333c009674Stephen Gallagherpretty/
3441d0c2d11aea0c39b009751a1898333c009674Stephen Gallagherprogramatica
sample-ghci-script
test/
todo
utils/
var.mk
version_nr