LibName.hs revision 1596a4d2cc01bff500afdd3789a43ec93210e81f
e6c3a72a023407f5d1fface64356e1cc81f1af31Phill Cunningtontree 1596a4d2cc01bff500afdd3789a43ec93210e81f:
8af80418ba1ec431c8027fa9668e5678658d3611Allan Foster
8af80418ba1ec431c8027fa9668e5678658d3611Allan Foster.gitignore
8af80418ba1ec431c8027fa9668e5678658d3611Allan FosterATC.hs
8af80418ba1ec431c8027fa9668e5678658d3611Allan FosterATC/
8af80418ba1ec431c8027fa9668e5678658d3611Allan FosterAdl/
8af80418ba1ec431c8027fa9668e5678658d3611Allan FosterCASL.hs
8af80418ba1ec431c8027fa9668e5678658d3611Allan FosterCASL/
8af80418ba1ec431c8027fa9668e5678658d3611Allan FosterCASL_DL.hs
8af80418ba1ec431c8027fa9668e5678658d3611Allan FosterCASL_DL/
8af80418ba1ec431c8027fa9668e5678658d3611Allan FosterCMDL.hs
8af80418ba1ec431c8027fa9668e5678658d3611Allan FosterCMDL/
8af80418ba1ec431c8027fa9668e5678658d3611Allan FosterCOL.hs
8af80418ba1ec431c8027fa9668e5678658d3611Allan FosterCOL/
8af80418ba1ec431c8027fa9668e5678658d3611Allan FosterCSL/
8af80418ba1ec431c8027fa9668e5678658d3611Allan FosterCoCASL.hs
8af80418ba1ec431c8027fa9668e5678658d3611Allan FosterCoCASL/
8af80418ba1ec431c8027fa9668e5678658d3611Allan FosterCommon.hs
8af80418ba1ec431c8027fa9668e5678658d3611Allan FosterCommon/
8af80418ba1ec431c8027fa9668e5678658d3611Allan FosterCommonLogic/
8af80418ba1ec431c8027fa9668e5678658d3611Allan FosterComorphisms.hs
8af80418ba1ec431c8027fa9668e5678658d3611Allan FosterComorphisms/
8af80418ba1ec431c8027fa9668e5678658d3611Allan FosterConstraintCASL/
8af80418ba1ec431c8027fa9668e5678658d3611Allan FosterCspCASL.hs
8af80418ba1ec431c8027fa9668e5678658d3611Allan FosterCspCASL/
bee2440354b4bc8796e1de0b6cbd60e1f68deba0Phill CunningtonCspCASLProver.hs
e6c3a72a023407f5d1fface64356e1cc81f1af31Phill CunningtonCspCASLProver/
8af80418ba1ec431c8027fa9668e5678658d3611Allan FosterDFOL/
e6c3a72a023407f5d1fface64356e1cc81f1af31Phill CunningtonDMU/
8af80418ba1ec431c8027fa9668e5678658d3611Allan FosterDriver.hs
8af80418ba1ec431c8027fa9668e5678658d3611Allan FosterDriver/
ce4d3fddc8fe2eddd68a20af9570b3cc63ece5abNeil MaddenExtModal.hs
479ef6259d703c1524ab3da11acb56472ea1576aKamal SivanandamExtModal/
ce4d3fddc8fe2eddd68a20af9570b3cc63ece5abNeil MaddenFpl/
a82d04bc19fee9d5e34b41ccd7641da1f62ab634Neil MaddenFramework.hs
b0465323d102d12fdad78489cccc5e6a379db9e0Kamal SivanandamFramework/
a82d04bc19fee9d5e34b41ccd7641da1f62ab634Neil MaddenFreeCAD/
a82d04bc19fee9d5e34b41ccd7641da1f62ab634Neil MaddenGMP/
a82d04bc19fee9d5e34b41ccd7641da1f62ab634Neil MaddenGUI.hs
a82d04bc19fee9d5e34b41ccd7641da1f62ab634Neil MaddenGUI/
a82d04bc19fee9d5e34b41ccd7641da1f62ab634Neil MaddenHasCASL.hs
a82d04bc19fee9d5e34b41ccd7641da1f62ab634Neil MaddenHasCASL/
a82d04bc19fee9d5e34b41ccd7641da1f62ab634Neil MaddenHaskell.hs
a82d04bc19fee9d5e34b41ccd7641da1f62ab634Neil MaddenHaskell/
a82d04bc19fee9d5e34b41ccd7641da1f62ab634Neil MaddenHets-Haddock-Prologue.txt
a82d04bc19fee9d5e34b41ccd7641da1f62ab634Neil MaddenHets.cabal
a82d04bc19fee9d5e34b41ccd7641da1f62ab634Neil MaddenHolLight/
a82d04bc19fee9d5e34b41ccd7641da1f62ab634Neil MaddenINSTALL
b0465323d102d12fdad78489cccc5e6a379db9e0Kamal SivanandamInterfaces/
a82d04bc19fee9d5e34b41ccd7641da1f62ab634Neil MaddenIsabelle.hs
a82d04bc19fee9d5e34b41ccd7641da1f62ab634Neil MaddenIsabelle/
a82d04bc19fee9d5e34b41ccd7641da1f62ab634Neil MaddenLF/
a82d04bc19fee9d5e34b41ccd7641da1f62ab634Neil MaddenLICENSE.txt
a82d04bc19fee9d5e34b41ccd7641da1f62ab634Neil MaddenLIZENZ.txt
a82d04bc19fee9d5e34b41ccd7641da1f62ab634Neil MaddenLogic.hs
a82d04bc19fee9d5e34b41ccd7641da1f62ab634Neil MaddenLogic/
8af80418ba1ec431c8027fa9668e5678658d3611Allan FosterLottery/
8af80418ba1ec431c8027fa9668e5678658d3611Allan FosterMakefile
8af80418ba1ec431c8027fa9668e5678658d3611Allan FosterMakefile.installer
ce4d3fddc8fe2eddd68a20af9570b3cc63ece5abNeil MaddenMaude/
8af80418ba1ec431c8027fa9668e5678658d3611Allan FosterModal.hs
8af80418ba1ec431c8027fa9668e5678658d3611Allan FosterModal/
8af80418ba1ec431c8027fa9668e5678658d3611Allan FosterModifications/
8af80418ba1ec431c8027fa9668e5678658d3611Allan FosterOMDoc.hs
8af80418ba1ec431c8027fa9668e5678658d3611Allan FosterOMDoc/
ce4d3fddc8fe2eddd68a20af9570b3cc63ece5abNeil MaddenOWL2.hs
ce4d3fddc8fe2eddd68a20af9570b3cc63ece5abNeil MaddenOWL2/
bee2440354b4bc8796e1de0b6cbd60e1f68deba0Phill CunningtonOmega/
a82d04bc19fee9d5e34b41ccd7641da1f62ab634Neil MaddenPGIP/
bbec070a4bc76848d53237c966398af99ee93f02Jon ThomasProofs.hs
bee2440354b4bc8796e1de0b6cbd60e1f68deba0Phill CunningtonProofs/
bee2440354b4bc8796e1de0b6cbd60e1f68deba0Phill CunningtonPropositional.hs
bbec070a4bc76848d53237c966398af99ee93f02Jon ThomasPropositional/
bee2440354b4bc8796e1de0b6cbd60e1f68deba0Phill CunningtonQBF/
bee2440354b4bc8796e1de0b6cbd60e1f68deba0Phill CunningtonRDF/
bee2440354b4bc8796e1de0b6cbd60e1f68deba0Phill CunningtonREADME
bee2440354b4bc8796e1de0b6cbd60e1f68deba0Phill CunningtonREADME.installer
bee2440354b4bc8796e1de0b6cbd60e1f68deba0Phill CunningtonRelationalScheme.hs
bee2440354b4bc8796e1de0b6cbd60e1f68deba0Phill CunningtonRelationalScheme/
bee2440354b4bc8796e1de0b6cbd60e1f68deba0Phill CunningtonReleaseMakefile
bee2440354b4bc8796e1de0b6cbd60e1f68deba0Phill CunningtonScratch.hs
ce4d3fddc8fe2eddd68a20af9570b3cc63ece5abNeil MaddenSearch/
ce4d3fddc8fe2eddd68a20af9570b3cc63ece5abNeil MaddenSoftFOL.hs
bee2440354b4bc8796e1de0b6cbd60e1f68deba0Phill CunningtonSoftFOL/
8af80418ba1ec431c8027fa9668e5678658d3611Allan FosterStatic.hs
8af80418ba1ec431c8027fa9668e5678658d3611Allan FosterStatic/
8af80418ba1ec431c8027fa9668e5678658d3611Allan FosterSyntax/
8af80418ba1ec431c8027fa9668e5678658d3611Allan FosterTHF/
8af80418ba1ec431c8027fa9668e5678658d3611Allan FosterTaxonomy.hs
4709b991352c6de69ba02928ed6cbf373ca62ed5jeff.schenkTaxonomy/
8af80418ba1ec431c8027fa9668e5678658d3611Allan FosterTemporal/
8af80418ba1ec431c8027fa9668e5678658d3611Allan FosterToHaskell/
8af80418ba1ec431c8027fa9668e5678658d3611Allan FosterVSE/
8af80418ba1ec431c8027fa9668e5678658d3611Allan Fosteratermlib/
8af80418ba1ec431c8027fa9668e5678658d3611Allan Fosterbuild.xml
4709b991352c6de69ba02928ed6cbf373ca62ed5jeff.schenkclean.lst
8af80418ba1ec431c8027fa9668e5678658d3611Allan Fosterclean.sh
8af80418ba1ec431c8027fa9668e5678658d3611Allan Fosterdoc/
8af80418ba1ec431c8027fa9668e5678658d3611Allan Fosterhets.hs
8af80418ba1ec431c8027fa9668e5678658d3611Allan Fosterhets.in
8af80418ba1ec431c8027fa9668e5678658d3611Allan Fosterideas
8af80418ba1ec431c8027fa9668e5678658d3611Allan Fostermini/
bbec070a4bc76848d53237c966398af99ee93f02Jon Thomaspretty/
133bed8ec2ccc857a62d6301f67c3ef3d36aa333Peter Majorprogramatica
133bed8ec2ccc857a62d6301f67c3ef3d36aa333Peter Majorsample-ghci-script
8af80418ba1ec431c8027fa9668e5678658d3611Allan Fostertest/
8af80418ba1ec431c8027fa9668e5678658d3611Allan Fostertodo
8af80418ba1ec431c8027fa9668e5678658d3611Allan Fosterutils/
8af80418ba1ec431c8027fa9668e5678658d3611Allan Fostervar.mk
8af80418ba1ec431c8027fa9668e5678658d3611Allan Fosterversion_nr
8af80418ba1ec431c8027fa9668e5678658d3611Allan Foster