ReusedTheorems.hs revision 54fefc493b9a48c17286559e5902188fa8acb85a
f690123c15ce847b78eb68ba842a94c88a8e5529Michael Grafftree 54fefc493b9a48c17286559e5902188fa8acb85a:
e0fe05b5ae82ef72d4c6b93aa0e83e8d3994d830Mark Andrews
dafcb997e390efa4423883dafd100c975c4095d6Mark Andrews.gitignore
f85aab2e1a371d4575eaaf03bf926c116b4c791eAndreas GustafssonATC.hs
40f53fa8d9c6a4fc38c0014495e7a42b08f52481David LawrenceATC/
f690123c15ce847b78eb68ba842a94c88a8e5529Michael GraffAdl/
f690123c15ce847b78eb68ba842a94c88a8e5529Michael GraffCASL.hs
f690123c15ce847b78eb68ba842a94c88a8e5529Michael GraffCASL/
40f53fa8d9c6a4fc38c0014495e7a42b08f52481David LawrenceCASL_DL.hs
dafcb997e390efa4423883dafd100c975c4095d6Mark AndrewsCASL_DL/
dafcb997e390efa4423883dafd100c975c4095d6Mark AndrewsCMDL.hs
dafcb997e390efa4423883dafd100c975c4095d6Mark AndrewsCMDL/
dafcb997e390efa4423883dafd100c975c4095d6Mark AndrewsCOL.hs
dafcb997e390efa4423883dafd100c975c4095d6Mark AndrewsCOL/
dafcb997e390efa4423883dafd100c975c4095d6Mark AndrewsCSL/
dafcb997e390efa4423883dafd100c975c4095d6Mark AndrewsCoCASL.hs
f690123c15ce847b78eb68ba842a94c88a8e5529Michael GraffCoCASL/
f104fbbe4e868a039ed786c0087c0412ab6dd923Brian WellingtonCommon.hs
6ed53e5949d9fcd9715b440015b56e5a896d63dfDavid HankinsCommon/
ab023a65562e62b85a824509d829b6fad87e00b1Rob AusteinCommonLogic/
ab023a65562e62b85a824509d829b6fad87e00b1Rob AusteinComorphisms.hs
9c3531d72aeaad6c5f01efe6a1c82023e1379e4dDavid LawrenceComorphisms/
f104fbbe4e868a039ed786c0087c0412ab6dd923Brian WellingtonConstraintCASL/
f104fbbe4e868a039ed786c0087c0412ab6dd923Brian WellingtonCspCASL.hs
f104fbbe4e868a039ed786c0087c0412ab6dd923Brian WellingtonCspCASL/
253f774e358dba38742a484426a4cadf4f248817Brian WellingtonCspCASLProver.hs
f104fbbe4e868a039ed786c0087c0412ab6dd923Brian WellingtonCspCASLProver/
c9d7e543d0da2996d1cc52d3c5920141df49a4ecBrian WellingtonDFOL/
6a759e38699d133302d0df120d7afcd4af721951David LawrenceDMU/
79d91e915023ffa5fac1bb2f91f19210bb18407cBrian WellingtonDriver.hs
c9d7e543d0da2996d1cc52d3c5920141df49a4ecBrian WellingtonDriver/
bb74e8ce7bb324ef248d029b2b6ba293ac9403f3Brian WellingtonExtModal.hs
40e7c805a8f38ad9b20dd6c688496fc09fc971c2Mark AndrewsExtModal/
f104fbbe4e868a039ed786c0087c0412ab6dd923Brian WellingtonFpl/
c9d7e543d0da2996d1cc52d3c5920141df49a4ecBrian WellingtonFramework.hs
c9d7e543d0da2996d1cc52d3c5920141df49a4ecBrian WellingtonFramework/
16a68807e13caea3183a41a5292f1b3f48b81a26Mark AndrewsFreeCAD/
6e8a8077faf96d8da0b6cf738913f5f1f86e4008Mark AndrewsGMP/
b0c15bd9792112fb47f6d956e580e4369e92f4e7Mark AndrewsGUI.hs
e8892697f98b9154cd390c13205b75d1f038fd4dBrian WellingtonGUI/
1a69a1a78cfaa86f3b68bbc965232b7876d4da2aDavid LawrenceHasCASL.hs
c9d7e543d0da2996d1cc52d3c5920141df49a4ecBrian WellingtonHasCASL/
364a82f7c25b62967678027043425201a5e5171aBob HalleyHaskell.hs
acc63b06d9e4e2137950dabddcccd17d8b336ca0Olafur GudmundssonHaskell/
f104fbbe4e868a039ed786c0087c0412ab6dd923Brian WellingtonHets-Haddock-Prologue.txt
f104fbbe4e868a039ed786c0087c0412ab6dd923Brian WellingtonHets.cabal
f104fbbe4e868a039ed786c0087c0412ab6dd923Brian WellingtonHolLight/
911ed0d3bee586b3bec42cb6c376d5cc6c0e1e24Brian WellingtonINSTALL
09f22ac5b09e70bc526015f37168ba33e21ea91fDavid LawrenceInterfaces/
0b09763c354ec91fb352b6b4cea383bd0195b2d8Mark AndrewsIsabelle.hs
90fc267992241a9d6adcae478666726d23c97326David LawrenceIsabelle/
09f22ac5b09e70bc526015f37168ba33e21ea91fDavid LawrenceLF/
09f22ac5b09e70bc526015f37168ba33e21ea91fDavid LawrenceLICENSE.txt
e8892697f98b9154cd390c13205b75d1f038fd4dBrian WellingtonLIZENZ.txt
e8892697f98b9154cd390c13205b75d1f038fd4dBrian WellingtonLogic.hs
93d6dfaf66258337985427c86181f01fc51f0bb4Mark AndrewsLogic/
f104fbbe4e868a039ed786c0087c0412ab6dd923Brian WellingtonMakefile
f104fbbe4e868a039ed786c0087c0412ab6dd923Brian WellingtonMakefile.installer
1f8f904ad612e372bf34d88fce28c59ac5e54574Brian WellingtonMaude/
f104fbbe4e868a039ed786c0087c0412ab6dd923Brian WellingtonModal.hs
49f7148b1e61fc383c7d41081ca48b1255a0c143Brian WellingtonModal/
a67fc7e1ff1e39ebf5e58a77b2ee413615ff1ff3Brian WellingtonModifications/
f104fbbe4e868a039ed786c0087c0412ab6dd923Brian WellingtonOMDoc.hs
6ed53e5949d9fcd9715b440015b56e5a896d63dfDavid HankinsOMDoc/
bf5582ad4b2b464539059fba2806b546ec3c5caaBrian WellingtonOWL2.hs
f104fbbe4e868a039ed786c0087c0412ab6dd923Brian WellingtonOWL2/
b1d234eb75e2804e09d89178a76df39c321db51bBrian WellingtonOmega/
f104fbbe4e868a039ed786c0087c0412ab6dd923Brian WellingtonPGIP/
b1d234eb75e2804e09d89178a76df39c321db51bBrian WellingtonProofs.hs
b1d234eb75e2804e09d89178a76df39c321db51bBrian WellingtonProofs/
7efc8c3f692fc3226c00ce8bdc1b90eb06562352David LawrencePropositional.hs
b1d234eb75e2804e09d89178a76df39c321db51bBrian WellingtonPropositional/
3de75141d2e042a1db4c58b397ea4fc905cecf6eBrian WellingtonQBF/
bf5582ad4b2b464539059fba2806b546ec3c5caaBrian WellingtonRDF/
0b09763c354ec91fb352b6b4cea383bd0195b2d8Mark AndrewsREADME
f104fbbe4e868a039ed786c0087c0412ab6dd923Brian WellingtonREADME.installer
bf5582ad4b2b464539059fba2806b546ec3c5caaBrian WellingtonRelationalScheme.hs
bf5582ad4b2b464539059fba2806b546ec3c5caaBrian WellingtonRelationalScheme/
bf5582ad4b2b464539059fba2806b546ec3c5caaBrian WellingtonReleaseMakefile
bf5582ad4b2b464539059fba2806b546ec3c5caaBrian WellingtonScratch.hs
b0c15bd9792112fb47f6d956e580e4369e92f4e7Mark AndrewsSoftFOL.hs
b0c15bd9792112fb47f6d956e580e4369e92f4e7Mark AndrewsSoftFOL/
b0c15bd9792112fb47f6d956e580e4369e92f4e7Mark AndrewsStatic.hs
66f5b00c37e17ffaa829b82afb8549bca21f80e1Brian WellingtonStatic/
bf5582ad4b2b464539059fba2806b546ec3c5caaBrian WellingtonSyntax/
bf5582ad4b2b464539059fba2806b546ec3c5caaBrian WellingtonTHF/
bf5582ad4b2b464539059fba2806b546ec3c5caaBrian WellingtonTaxonomy.hs
c9d7e543d0da2996d1cc52d3c5920141df49a4ecBrian WellingtonTaxonomy/
c9d7e543d0da2996d1cc52d3c5920141df49a4ecBrian WellingtonTemporal/
c9d7e543d0da2996d1cc52d3c5920141df49a4ecBrian WellingtonToHaskell/
c9d7e543d0da2996d1cc52d3c5920141df49a4ecBrian WellingtonVSE/
6ed53e5949d9fcd9715b440015b56e5a896d63dfDavid Hankinsatermlib/
6ed53e5949d9fcd9715b440015b56e5a896d63dfDavid Hankinsbuild.xml
6ed53e5949d9fcd9715b440015b56e5a896d63dfDavid Hankinsclean.lst
6ed53e5949d9fcd9715b440015b56e5a896d63dfDavid Hankinsclean.sh
c9d7e543d0da2996d1cc52d3c5920141df49a4ecBrian Wellingtondoc/
c9d7e543d0da2996d1cc52d3c5920141df49a4ecBrian Wellingtonhets.hs
c9d7e543d0da2996d1cc52d3c5920141df49a4ecBrian Wellingtonhets.in
c9d7e543d0da2996d1cc52d3c5920141df49a4ecBrian Wellingtonideas
c9d7e543d0da2996d1cc52d3c5920141df49a4ecBrian Wellingtonmini/
c9d7e543d0da2996d1cc52d3c5920141df49a4ecBrian Wellingtonpretty/
c9d7e543d0da2996d1cc52d3c5920141df49a4ecBrian Wellingtonprogramatica
2b71493ae644557c48a906f889ef50127f418b17Brian Wellingtonsample-ghci-script
66f5b00c37e17ffaa829b82afb8549bca21f80e1Brian Wellingtontest/
2b71493ae644557c48a906f889ef50127f418b17Brian Wellingtontodo
2b71493ae644557c48a906f889ef50127f418b17Brian Wellingtonutils/
6e8a8077faf96d8da0b6cf738913f5f1f86e4008Mark Andrewsvar.mk
abce4875c33782ea88253a92d6f6391b3be88995Brian Wellingtonversion_nr
c9d7e543d0da2996d1cc52d3c5920141df49a4ecBrian Wellington