Morphism.hs revision fa373bc327620e08861294716b4454be8d25669f
5d51e67c3b4f35c1be742574aacc1d88fe6ed444Mark Andrewstree fa373bc327620e08861294716b4454be8d25669f:
5fa46bc91672ef5737aee6f99763161511566c24Tinderbox User
fcb54ce0a4f7377486df5bec83b3aa4711bf4131Mark AndrewsATC.hs
40f53fa8d9c6a4fc38c0014495e7a42b08f52481David LawrenceATC/
ec5347e2c775f027573ce5648b910361aa926c01Automatic UpdaterAdl/
5d51e67c3b4f35c1be742574aacc1d88fe6ed444Mark AndrewsCASL.hs
5d51e67c3b4f35c1be742574aacc1d88fe6ed444Mark AndrewsCASL/
40f53fa8d9c6a4fc38c0014495e7a42b08f52481David LawrenceCASL_DL.hs
dafcb997e390efa4423883dafd100c975c4095d6Mark AndrewsCASL_DL/
dafcb997e390efa4423883dafd100c975c4095d6Mark AndrewsCMDL.hs
dafcb997e390efa4423883dafd100c975c4095d6Mark AndrewsCMDL/
dafcb997e390efa4423883dafd100c975c4095d6Mark AndrewsCOL.hs
dafcb997e390efa4423883dafd100c975c4095d6Mark AndrewsCOL/
dafcb997e390efa4423883dafd100c975c4095d6Mark AndrewsCSL/
dafcb997e390efa4423883dafd100c975c4095d6Mark AndrewsCoCASL.hs
5d51e67c3b4f35c1be742574aacc1d88fe6ed444Mark AndrewsCoCASL/
5d51e67c3b4f35c1be742574aacc1d88fe6ed444Mark AndrewsCommon.hs
28a8f5b0de57d269cf2845c69cb6abe18cbd3b3aMark AndrewsCommon/
ab023a65562e62b85a824509d829b6fad87e00b1Rob AusteinCommonLogic/
ab023a65562e62b85a824509d829b6fad87e00b1Rob AusteinComorphisms.hs
0c310d16b05ee94743d33f6920907edee6084fc8Michael GraffComorphisms/
0c310d16b05ee94743d33f6920907edee6084fc8Michael GraffConstraintCASL/
de153390f5a1f6d4fa86af91d4cae772d9846ca0Mark AndrewsConstraints/
0c310d16b05ee94743d33f6920907edee6084fc8Michael GraffCspCASL.hs
822f6cdabb1edd44472c7a758b5cae71376fa9beBrian WellingtonCspCASL/
ebfcb6cf66283096ebda1503b6cc042ce86b6bedBrian WellingtonCspCASLProver.hs
5d51e67c3b4f35c1be742574aacc1d88fe6ed444Mark AndrewsCspCASLProver/
1a69a1a78cfaa86f3b68bbc965232b7876d4da2aDavid LawrenceDFOL/
242bba8991b030b7764f0bdca3922d75c34ea51eAndreas GustafssonDMU/
25a66b4e41e2b0a2af4840749bac80ae78c678bfMark AndrewsDriver.hs
8abddcd3f24476b945419659e7cb73bcb970886bDavid LawrenceDriver/
21f1794606dce19928cf455029e173321f166380Mark AndrewsExtModal.hs
973a19342597823f111fce6a8cd5adfd0e2e7c0dMark AndrewsExtModal/
0c310d16b05ee94743d33f6920907edee6084fc8Michael GraffFpl/
1a69a1a78cfaa86f3b68bbc965232b7876d4da2aDavid LawrenceFramework.hs
1a69a1a78cfaa86f3b68bbc965232b7876d4da2aDavid LawrenceFramework/
1a69a1a78cfaa86f3b68bbc965232b7876d4da2aDavid LawrenceFreeCAD/
28b863e609ff2d97b78663b46894494cfa2ea411Mark AndrewsGMP/
1a69a1a78cfaa86f3b68bbc965232b7876d4da2aDavid LawrenceGUI.hs
21825a8d005ccc2dfaf12889bf9eef3413555277Brian WellingtonGUI/
307d2084502eddc7ce921e5ce439aec3531d90e0Tatuya JINMEI 神明達哉HasCASL.hs
1a69a1a78cfaa86f3b68bbc965232b7876d4da2aDavid LawrenceHasCASL/
5d51e67c3b4f35c1be742574aacc1d88fe6ed444Mark AndrewsHaskell.hs
a98551ef592e9be6008e0141ceeb32efd586c5efMark AndrewsHaskell/
1a69a1a78cfaa86f3b68bbc965232b7876d4da2aDavid LawrenceHets-Haddock-Prologue.txt
a98551ef592e9be6008e0141ceeb32efd586c5efMark AndrewsHets.cabal
1a69a1a78cfaa86f3b68bbc965232b7876d4da2aDavid LawrenceHolLight/
54c26ab21c61c6d6b1e484bb88dc3ac263845d17Mark AndrewsINSTALL
3ddd92da6651bc72aa79a04195ad389d86fd1a66Andreas GustafssonInterfaces/
5fc7ba3e1ac5d72239e9971e0f469dd5796738f9Andreas GustafssonIsabelle.hs
5fc7ba3e1ac5d72239e9971e0f469dd5796738f9Andreas GustafssonIsabelle/
5d51e67c3b4f35c1be742574aacc1d88fe6ed444Mark AndrewsLF/
9ac7076ebad044afb15e9e2687e3696868778538Mark AndrewsLICENSE.txt
9ac7076ebad044afb15e9e2687e3696868778538Mark AndrewsLIZENZ.txt
9ac7076ebad044afb15e9e2687e3696868778538Mark AndrewsLogic.hs
9ac7076ebad044afb15e9e2687e3696868778538Mark AndrewsLogic/
9ac7076ebad044afb15e9e2687e3696868778538Mark AndrewsLottery/
9ac7076ebad044afb15e9e2687e3696868778538Mark AndrewsMakefile
c46f10e4a1702191b003cf8f8fc5059c15d29c48Mark AndrewsMakefile.installer
9ac7076ebad044afb15e9e2687e3696868778538Mark AndrewsMaude/
9ac7076ebad044afb15e9e2687e3696868778538Mark AndrewsModal.hs
9ac7076ebad044afb15e9e2687e3696868778538Mark AndrewsModal/
9ac7076ebad044afb15e9e2687e3696868778538Mark AndrewsModifications/
9ac7076ebad044afb15e9e2687e3696868778538Mark AndrewsOMDoc.hs
9ac7076ebad044afb15e9e2687e3696868778538Mark AndrewsOMDoc/
9ac7076ebad044afb15e9e2687e3696868778538Mark AndrewsOWL.hs
eb6bd543c7d072efdca509eb17f8f301c1467b53Mark AndrewsOWL/
deaaf94332abbfdb3aff53675546acfed16e5eb6Mark AndrewsOmega/
c46f10e4a1702191b003cf8f8fc5059c15d29c48Mark AndrewsPGIP/
c46f10e4a1702191b003cf8f8fc5059c15d29c48Mark AndrewsProofs.hs
0b056755b2f423ba5f6adac8f7851d78f7d11437David LawrenceProofs/
6d12fdf96621801e80f3f4c2a8a569fe48766a20David LawrencePropositional.hs
2047977ce2dfcfe3a0fa2d638c3242841310fad3Mark AndrewsPropositional/
bddfe77128b0f16af263ff149db40f0d885f43d0Mark AndrewsQBF/
6d12fdf96621801e80f3f4c2a8a569fe48766a20David LawrenceREADME
6d12fdf96621801e80f3f4c2a8a569fe48766a20David LawrenceREADME.installer
6d12fdf96621801e80f3f4c2a8a569fe48766a20David LawrenceRelationalScheme.hs
6d12fdf96621801e80f3f4c2a8a569fe48766a20David LawrenceRelationalScheme/
0b056755b2f423ba5f6adac8f7851d78f7d11437David LawrenceReleaseMakefile
6d12fdf96621801e80f3f4c2a8a569fe48766a20David LawrenceScratch.hs
2047977ce2dfcfe3a0fa2d638c3242841310fad3Mark AndrewsSearch/
6d12fdf96621801e80f3f4c2a8a569fe48766a20David LawrenceSoftFOL.hs
6d12fdf96621801e80f3f4c2a8a569fe48766a20David LawrenceSoftFOL/
6d12fdf96621801e80f3f4c2a8a569fe48766a20David LawrenceStatic.hs
6d12fdf96621801e80f3f4c2a8a569fe48766a20David LawrenceStatic/
6d12fdf96621801e80f3f4c2a8a569fe48766a20David LawrenceSyntax/
6d12fdf96621801e80f3f4c2a8a569fe48766a20David LawrenceTaxonomy.hs
0b056755b2f423ba5f6adac8f7851d78f7d11437David LawrenceTaxonomy/
6d12fdf96621801e80f3f4c2a8a569fe48766a20David LawrenceTemporal/
6d12fdf96621801e80f3f4c2a8a569fe48766a20David LawrenceToHaskell/
6d12fdf96621801e80f3f4c2a8a569fe48766a20David LawrenceVSE/
6d12fdf96621801e80f3f4c2a8a569fe48766a20David Lawrenceatermlib/
6d12fdf96621801e80f3f4c2a8a569fe48766a20David Lawrencebuild.xml
6d12fdf96621801e80f3f4c2a8a569fe48766a20David Lawrenceclean.lst
6d12fdf96621801e80f3f4c2a8a569fe48766a20David Lawrenceclean.sh
6d12fdf96621801e80f3f4c2a8a569fe48766a20David Lawrencedoc/
6d12fdf96621801e80f3f4c2a8a569fe48766a20David Lawrencehets.hs
6d12fdf96621801e80f3f4c2a8a569fe48766a20David Lawrencehets.in
6d12fdf96621801e80f3f4c2a8a569fe48766a20David Lawrenceideas
2047977ce2dfcfe3a0fa2d638c3242841310fad3Mark Andrewsmini/
2047977ce2dfcfe3a0fa2d638c3242841310fad3Mark Andrewspretty/
2047977ce2dfcfe3a0fa2d638c3242841310fad3Mark Andrewsprogramatica
2047977ce2dfcfe3a0fa2d638c3242841310fad3Mark Andrewssample-ghci-script
2047977ce2dfcfe3a0fa2d638c3242841310fad3Mark Andrewstest/
2047977ce2dfcfe3a0fa2d638c3242841310fad3Mark Andrewstodo
ab023a65562e62b85a824509d829b6fad87e00b1Rob Austeinutils/
40f53fa8d9c6a4fc38c0014495e7a42b08f52481David Lawrencevar.mk
0c8649cea98afc061dd2938fd315df53b8fc35caAndreas Gustafssonversion_nr
0c8649cea98afc061dd2938fd315df53b8fc35caAndreas Gustafsson