LICENSE revision ae291618b99d7a9d04f835ad261016d745561421
9eb24f1f84885d5c2e51a7f675264db398c31af7Tinderbox Usertree ae291618b99d7a9d04f835ad261016d745561421:
7bd455641455950eff7d21be652c8142b134d32fTinderbox User
0c27b3fe77ac1d5094ba3521e8142d9e7973133fMark AndrewsATC.hs
0c27b3fe77ac1d5094ba3521e8142d9e7973133fMark AndrewsATC/
0c27b3fe77ac1d5094ba3521e8142d9e7973133fMark AndrewsCASL.hs
8cbf3b6fc35091abde426930f2eadb8f53476c98Evan HuntCASL/
866d106459313499d0ca7bfccb4b2d23d5e4377cDavid LawrenceCASL_DL.hs
74cb99072c4b0ebd2ccafcfa284288fa760f7a1aMark AndrewsCASL_DL/
bff64bf12b58a6f80e740e94f2e42a32df18113aEvan HuntCOL.hs
866d106459313499d0ca7bfccb4b2d23d5e4377cDavid LawrenceCOL/
7c74e180c206e6ed99e8beb820da5f399d845c3eDavid LawrenceCoCASL.hs
2baa66562a2f119edffded961d3391f87ff98ec0Ondřej SurýCoCASL/
03e200df5dc283f24a6a349f0b31d3eab26da893Mark AndrewsCommon.hs
a5d43b72413db3edd6b36a58f9bdf2cf6ff692f2Bob HalleyCommon/
a5d43b72413db3edd6b36a58f9bdf2cf6ff692f2Bob HalleyComorphisms.hs
63dd46733010bb9622810faa17d88c3e3c28b730Mark AndrewsComorphisms/
a5d43b72413db3edd6b36a58f9bdf2cf6ff692f2Bob HalleyConstraintCASL/
a5d43b72413db3edd6b36a58f9bdf2cf6ff692f2Bob HalleyCspCASL.hs
a5d43b72413db3edd6b36a58f9bdf2cf6ff692f2Bob HalleyCspCASL/
ccdac53c027e8964753b36c4d8c7b0e98af501c2Michael GraffDriver.hs
d901b2252d664a5b96bae117416f8ee822dc6691Stephen JacobDriver/
df3c4c7988b9bae7d121a8ac9ed17a23366a948dDavid LawrenceGUI.hs
df3c4c7988b9bae7d121a8ac9ed17a23366a948dDavid LawrenceGUI/
df3c4c7988b9bae7d121a8ac9ed17a23366a948dDavid LawrenceHasCASL.hs
20256cbc1570e344793555b8c2f43a25bb38e373Mark AndrewsHasCASL/
20256cbc1570e344793555b8c2f43a25bb38e373Mark AndrewsHaskell.hs
8b56b8956fc1e6c70efacb4f71db28d0d1f0c577Mark AndrewsHaskell/
8b56b8956fc1e6c70efacb4f71db28d0d1f0c577Mark AndrewsHets-Haddock-Prologue.txt
f4ea363e3acc321b24ffe95a64a583e8041d6fd5Mark AndrewsINSTALL
8b56b8956fc1e6c70efacb4f71db28d0d1f0c577Mark AndrewsIsabelle.hs
8b56b8956fc1e6c70efacb4f71db28d0d1f0c577Mark AndrewsIsabelle/
8b56b8956fc1e6c70efacb4f71db28d0d1f0c577Mark AndrewsLICENCE.txt
8b56b8956fc1e6c70efacb4f71db28d0d1f0c577Mark AndrewsLICENSE.txt
914eeb33149a0008e26741d9e7d89dcd6f8b6d0bMark AndrewsLIZENZ.txt
ccdac53c027e8964753b36c4d8c7b0e98af501c2Michael GraffLogic.hs
a903095bf4512dae561c7f6fc7854a51bebf334aMark AndrewsLogic/
ccdac53c027e8964753b36c4d8c7b0e98af501c2Michael GraffLottery/
a5d43b72413db3edd6b36a58f9bdf2cf6ff692f2Bob HalleyMakefile
a5d43b72413db3edd6b36a58f9bdf2cf6ff692f2Bob HalleyMakefile.installer
a5d43b72413db3edd6b36a58f9bdf2cf6ff692f2Bob HalleyModal.hs
3d776d762914d1b675b4fd49728ce353ccf6f77eBrian WellingtonModal/
5b7abbef511cea0b568be0bc8d5b3120a0b9034dEvan HuntOMDoc/
6b66ee9147e940572a0e873ecbd67456ccb85c39Mark AndrewsOWL_DL.hs
ccdac53c027e8964753b36c4d8c7b0e98af501c2Michael GraffOWL_DL/
11dbf2fc38eea8c5d3fe7123718bf197a8bb2e6bMark AndrewsPGIP.hs
67247b4a8304bac790648a351a95b8b0f4c512a6Mark AndrewsPGIP/
9ed37e8b9ccd53bc37b546fffe487b9547dda3a0Mark AndrewsProofs.hs
9ed37e8b9ccd53bc37b546fffe487b9547dda3a0Mark AndrewsProofs/
9ed37e8b9ccd53bc37b546fffe487b9547dda3a0Mark AndrewsREADME
11dbf2fc38eea8c5d3fe7123718bf197a8bb2e6bMark AndrewsReleaseMakefile
11dbf2fc38eea8c5d3fe7123718bf197a8bb2e6bMark AndrewsSPASS.hs
11dbf2fc38eea8c5d3fe7123718bf197a8bb2e6bMark AndrewsSPASS/
11dbf2fc38eea8c5d3fe7123718bf197a8bb2e6bMark AndrewsStatic.hs
11dbf2fc38eea8c5d3fe7123718bf197a8bb2e6bMark AndrewsStatic/
11dbf2fc38eea8c5d3fe7123718bf197a8bb2e6bMark AndrewsSyntax/
11dbf2fc38eea8c5d3fe7123718bf197a8bb2e6bMark AndrewsTaxonomy.hs
31c7ab4fb3f7710af87dc9c3d64c5daf9a3dea35Mark AndrewsTaxonomy/
31c7ab4fb3f7710af87dc9c3d64c5daf9a3dea35Mark AndrewsTest.hs
31c7ab4fb3f7710af87dc9c3d64c5daf9a3dea35Mark AndrewsToHaskell/
31c7ab4fb3f7710af87dc9c3d64c5daf9a3dea35Mark Andrewsclean.lst
31c7ab4fb3f7710af87dc9c3d64c5daf9a3dea35Mark Andrewsclean.sh
31c7ab4fb3f7710af87dc9c3d64c5daf9a3dea35Mark Andrewscvs-howto
31c7ab4fb3f7710af87dc9c3d64c5daf9a3dea35Mark Andrewsdoc/
31c7ab4fb3f7710af87dc9c3d64c5daf9a3dea35Mark Andrewshaifa-lite/
31c7ab4fb3f7710af87dc9c3d64c5daf9a3dea35Mark Andrewshcl/
67247b4a8304bac790648a351a95b8b0f4c512a6Mark Andrewshets.hs
67247b4a8304bac790648a351a95b8b0f4c512a6Mark Andrewshets.in
67247b4a8304bac790648a351a95b8b0f4c512a6Mark Andrewshxt/
11463c0ac24692e229ec87f307f5e7df3c0a7e10Evan Huntideas
67247b4a8304bac790648a351a95b8b0f4c512a6Mark Andrewsmini/
67247b4a8304bac790648a351a95b8b0f4c512a6Mark Andrewspretty/
67247b4a8304bac790648a351a95b8b0f4c512a6Mark Andrewssyb-generics/
1c1290afabb3c8f4dd498170ac9592e5be450161Mark Andrewstest/
67247b4a8304bac790648a351a95b8b0f4c512a6Mark Andrewstodo
67247b4a8304bac790648a351a95b8b0f4c512a6Mark Andrewsutils/
67247b4a8304bac790648a351a95b8b0f4c512a6Mark Andrewsversion_nr
800cfc8a5ce9ffacfc076003b34b5f787f82c701Mark Andrews