Makefile revision 6a2dad705deefd1b7a7e09b84fd2d75f2213be47
e20788e1216ed720aefa84f3295f7899d9f28c22Mark Andrewstree 6a2dad705deefd1b7a7e09b84fd2d75f2213be47:
bf8267aa453e5d2a735ed732a043b77a0b355b20Mark Andrews
bf8267aa453e5d2a735ed732a043b77a0b355b20Mark AndrewsATC.hs
bf8267aa453e5d2a735ed732a043b77a0b355b20Mark AndrewsATC/
bf8267aa453e5d2a735ed732a043b77a0b355b20Mark AndrewsAdl/
bf8267aa453e5d2a735ed732a043b77a0b355b20Mark AndrewsCASL.hs
bf8267aa453e5d2a735ed732a043b77a0b355b20Mark AndrewsCASL/
bf8267aa453e5d2a735ed732a043b77a0b355b20Mark AndrewsCASL_DL.hs
bf8267aa453e5d2a735ed732a043b77a0b355b20Mark AndrewsCASL_DL/
bf8267aa453e5d2a735ed732a043b77a0b355b20Mark AndrewsCMDL.hs
bf8267aa453e5d2a735ed732a043b77a0b355b20Mark AndrewsCMDL/
bf8267aa453e5d2a735ed732a043b77a0b355b20Mark AndrewsCOL.hs
bf8267aa453e5d2a735ed732a043b77a0b355b20Mark AndrewsCOL/
bf8267aa453e5d2a735ed732a043b77a0b355b20Mark AndrewsCSL/
dafcb997e390efa4423883dafd100c975c4095d6Mark AndrewsCoCASL.hs
f41f183f628a148860a6d1f0070208cddd45b0c6Bob HalleyCoCASL/
f41f183f628a148860a6d1f0070208cddd45b0c6Bob HalleyCommon.hs
f41f183f628a148860a6d1f0070208cddd45b0c6Bob HalleyCommon/
f41f183f628a148860a6d1f0070208cddd45b0c6Bob HalleyCommonLogic/
9a2127f8335bad323451d7825119cd9f72e32464Mark AndrewsComorphisms.hs
9a2127f8335bad323451d7825119cd9f72e32464Mark AndrewsComorphisms/
9a2127f8335bad323451d7825119cd9f72e32464Mark AndrewsConstraintCASL/
9a2127f8335bad323451d7825119cd9f72e32464Mark AndrewsConstraints/
a5d43b72413db3edd6b36a58f9bdf2cf6ff692f2Bob HalleyCspCASL.hs
7829fad4093f2c1985b1efb7cea00287ff015d2bckbCspCASL/
7829fad4093f2c1985b1efb7cea00287ff015d2bckbCspCASLProver.hs
c9611b45736af157e2993c6ef852e55e8e24ca83Evan HuntCspCASLProver/
a5d43b72413db3edd6b36a58f9bdf2cf6ff692f2Bob HalleyDFOL/
64e41159a919b0711321fe688ca5da4f4d1b7d80Bob HalleyDMU/
64e41159a919b0711321fe688ca5da4f4d1b7d80Bob HalleyDriver.hs
c2bc56dc65b4b103a5600565680eb5f33fa4c90bMark AndrewsDriver/
51917258dbb23cfe6069ae1cf2b7fc5aefc1e0c2Bob HalleyExtModal.hs
c6b3c1984caa362359862e063e7b70dfb306db7eMark AndrewsExtModal/
155a0ce6e3c9cef51b63789c34d83d9143ce01fdMark AndrewsFramework/
e71905610c72f474a2943934a48f43121c79c939Evan HuntFreeCAD/
e71905610c72f474a2943934a48f43121c79c939Evan HuntGMP/
6d5dcd0dc9bdbd679282b1ffc47987d24c3a1346Bob HalleyGUI.hs
ba751492fcc4f161a18b983d4f018a1a52938cb9Evan HuntGUI/
155a0ce6e3c9cef51b63789c34d83d9143ce01fdMark AndrewsHasCASL.hs
a5d43b72413db3edd6b36a58f9bdf2cf6ff692f2Bob HalleyHasCASL/
a5d43b72413db3edd6b36a58f9bdf2cf6ff692f2Bob HalleyHaskell.hs
b6d52ee5bea1b9d9074698e693b49ce96edff47bMark AndrewsHaskell/
b6d52ee5bea1b9d9074698e693b49ce96edff47bMark AndrewsHets-Haddock-Prologue.txt
b6d52ee5bea1b9d9074698e693b49ce96edff47bMark AndrewsHets.cabal
b6d52ee5bea1b9d9074698e693b49ce96edff47bMark AndrewsHolLight/
c45abd11bb68005d8a5c56c14b16f4184c3e057dMichael GraffINSTALL
c45abd11bb68005d8a5c56c14b16f4184c3e057dMichael GraffInterfaces/
a685d9c3b608eb768d237f20e8e8b1c5d3902146David LawrenceIsabelle.hs
feb08cecf318bba330437cfcb725f48d999804d8James BristerIsabelle/
7e9ccec63889f2aabee59b94307be492a77fa93bMark AndrewsLF/
76117ff568dc788ed24937cfea916a18db285960Mark AndrewsLICENSE.txt
7e9ccec63889f2aabee59b94307be492a77fa93bMark AndrewsLIZENZ.txt
aaaf8d4f4873d21e55c3ffb4f656203d08339865Mark AndrewsLogic.hs
76117ff568dc788ed24937cfea916a18db285960Mark AndrewsLogic/
ba751492fcc4f161a18b983d4f018a1a52938cb9Evan HuntLottery/
ba751492fcc4f161a18b983d4f018a1a52938cb9Evan HuntMakefile
ba751492fcc4f161a18b983d4f018a1a52938cb9Evan HuntMakefile.installer
ba751492fcc4f161a18b983d4f018a1a52938cb9Evan HuntMaude/
289ae548d52bc8f982d9823af64cafda7bd92232Mark AndrewsModal.hs
76117ff568dc788ed24937cfea916a18db285960Mark AndrewsModal/
65c4736d9c0ebc6d9b1d991593b55566909da9cdBrian WellingtonModifications/
8a896bc645a6236e9a47e33fb57510a451009a90Mark AndrewsOMDoc.hs
8a896bc645a6236e9a47e33fb57510a451009a90Mark AndrewsOMDoc/
fc80027fb54b501cdd88461bf879d078259e0226David LawrenceOWL.hs
a8783019814daa36dd57afe3f527462822834c3bEvan HuntOWL/
793814f80703afdd69b59ade91e63efa81ae4178Evan HuntOmega/
911ed0d3bee586b3bec42cb6c376d5cc6c0e1e24Brian WellingtonPGIP/
a00f9e2f50675bd43cc6a9fe2669709162a2ccb4Evan HuntProofs.hs
501941f0b6cce74c2ff75b10aff3f230d5d37e4cEvan HuntProofs/
e334405421979688f2d838805ac67ee47bd62976Mark AndrewsPropositional.hs
911ed0d3bee586b3bec42cb6c376d5cc6c0e1e24Brian WellingtonPropositional/
0cfb24736841b3e98bb25853229a0efabab88bddEvan HuntQBF/
0cfb24736841b3e98bb25853229a0efabab88bddEvan HuntREADME
28b863e609ff2d97b78663b46894494cfa2ea411Mark AndrewsREADME.installer
87708bde16713bc02ff2598f4a82f98c699a2f2dMark AndrewsRelationalScheme.hs
55e5c51e661e23e24573db84114a3837817745c9Evan HuntRelationalScheme/
55e5c51e661e23e24573db84114a3837817745c9Evan HuntReleaseMakefile
3916872f379457fe344afb02398a009701c5016aEvan HuntScratch.hs
ce1f5b8d0ae5936fd187c1f414ff12a7e3b0aa37Andreas GustafssonSearch/
a69070d8fab55dbc63ba9f96c9d3e34f0ea9119aMark AndrewsSoftFOL.hs
5c6762838c9e423753723ec2a963164e3d66ac32Mark AndrewsSoftFOL/
b99bfa184bc9375421b5df915eea7dfac6a68a99Evan HuntStatic.hs
5c6762838c9e423753723ec2a963164e3d66ac32Mark AndrewsStatic/
b99bfa184bc9375421b5df915eea7dfac6a68a99Evan HuntSyntax/
b99bfa184bc9375421b5df915eea7dfac6a68a99Evan HuntTaxonomy.hs
8a896bc645a6236e9a47e33fb57510a451009a90Mark AndrewsTaxonomy/
a5d43b72413db3edd6b36a58f9bdf2cf6ff692f2Bob HalleyTemporal/
fc80027fb54b501cdd88461bf879d078259e0226David LawrenceToHaskell/
7e9ccec63889f2aabee59b94307be492a77fa93bMark AndrewsVSE/
37dee1ff94960a61243f611c0f87f8c316815c53Mark Andrewsatermlib/
7e9ccec63889f2aabee59b94307be492a77fa93bMark Andrewsbuild.xml
76117ff568dc788ed24937cfea916a18db285960Mark Andrewsclean.lst
ba751492fcc4f161a18b983d4f018a1a52938cb9Evan Huntclean.sh
ba751492fcc4f161a18b983d4f018a1a52938cb9Evan Huntdoc/
ba751492fcc4f161a18b983d4f018a1a52938cb9Evan Huntheader_warning.log
ba751492fcc4f161a18b983d4f018a1a52938cb9Evan Hunthets.hs
289ae548d52bc8f982d9823af64cafda7bd92232Mark Andrewshets.in
494576ce20cfd98d74955698cf8f7b37dce2f740Mark Andrewsideas
76117ff568dc788ed24937cfea916a18db285960Mark Andrewsmini/
494576ce20cfd98d74955698cf8f7b37dce2f740Mark Andrewspretty/
84dc4b3e7eea3e9c8fafa5f4fd632a51ee8b356fMukund Sivaramanprogramatica
8a896bc645a6236e9a47e33fb57510a451009a90Mark Andrewssample-ghci-script
a8783019814daa36dd57afe3f527462822834c3bEvan Hunttest/
793814f80703afdd69b59ade91e63efa81ae4178Evan Hunttodo
911ed0d3bee586b3bec42cb6c376d5cc6c0e1e24Brian Wellingtonutils/
a00f9e2f50675bd43cc6a9fe2669709162a2ccb4Evan Huntvar.mk
501941f0b6cce74c2ff75b10aff3f230d5d37e4cEvan Huntversion_nr
501941f0b6cce74c2ff75b10aff3f230d5d37e4cEvan Hunt