Makefile revision 63f0e65a37b95621334db9ee4ba0cd9d826f5c0f
7f007e36bec06aba6b3a0f84a64f2abf99edfcd8gsteintree 63f0e65a37b95621334db9ee4ba0cd9d826f5c0f:
7558016fa8f4776e989f9d9de7694dcb87077bfejerenkrantz
2a6c49cfaef5979a5a06098f3ce987cd76769409manojATC/
2a6c49cfaef5979a5a06098f3ce987cd76769409manojCASL/
2a6c49cfaef5979a5a06098f3ce987cd76769409manojCOL/
a8d5ccbcbde8cb6cf3a9dcf2eb05f393ab76baa9ianhCoCASL/
694514f7e6e99917e084943e3a05950b3c7c106ajerenkrantzCommon/
4214e98fc9045e5010e66f9a967bd6d68f40d342aaronComorphisms/
8721697e2aece27b0e738519329f7976c72b27bfjerenkrantzCspCASL/
4a257be29f8aeab984fe5622fa69e0b2aab204d7jerenkrantzDriver/
91cacb801f6c0215b38322f6d2fc58cbfedfecfbjerenkrantzGUI/
91cacb801f6c0215b38322f6d2fc58cbfedfecfbjerenkrantzHasCASL/
df14f0d3a5191cdd7c4bb5b03acd135d43a6f51brbbHaskell/
df14f0d3a5191cdd7c4bb5b03acd135d43a6f51brbbHatchet/
ab71b233b3a36489e44a7b061c48293be0b17788jwoolleyINSTALL
571760de5e60c0b459cb11be45507b923cd023eejwoolleyIsabelle/
571760de5e60c0b459cb11be45507b923cd023eejwoolleyLICENCE.txt
9180a5933673ffb1af633c255ceee029340f3b1erbbLIZENZ.txt
bcb6e1be6041dfeb549c8ea8d37f97ad4e90a0c3rbbLogic/
9bd71e35f5d26d26d23fe3a677401828e842ed72wroweLottery/
2900ab946a2d76b73a14cebfe2985d253f01c967stoddardMakefile
a548c09e6a8ca1b059d0e93b5256c6ccb2b3c3cdrbbModal/
a548c09e6a8ca1b059d0e93b5256c6ccb2b3c3cdrbbOWL_DL/
a548c09e6a8ca1b059d0e93b5256c6ccb2b3c3cdrbbProofs/
b876b7bcf0ce3d232da723246d709e8dbbfe8762rbbREADME
cf6bf6c34c936e6a6fe731dbce4a5c3c8bf8e9a3gsteinReleaseMakefile
35330e0d79ceb8027223bbb8330a381b1f989d6etrawickStatic/
6f6f4a4bca281779d196acbdd5c017bb90858305trawickSyntax/
8dd4618c4709236b4ea297d7250d282e463ce2d8rbbTaxonomy/
09bd86d0db1114ee23eda0a6eb76ca055877a1cftrawickTest.hs
2deb319e6b3de239f45c16a3e9e836d44f1f7108rbbToHaskell/
bd929c73ef04789b7183b840d8db6e01d03a4d86rbbclean.lst
70f6f32765cfaadd6da8de6f0fea97ddd72d8fadmanojclean.sh
2a6c49cfaef5979a5a06098f3ce987cd76769409manojdoc/
af4c982a7cf4515f124935f99a329744035fc699slivedocs/
af4c982a7cf4515f124935f99a329744035fc699slivefgl/
af4c982a7cf4515f124935f99a329744035fc699sliveghc/
af4c982a7cf4515f124935f99a329744035fc699slivehaterm-1.0/
af4c982a7cf4515f124935f99a329744035fc699slivehets.hs
af4c982a7cf4515f124935f99a329744035fc699slivehugs/
af4c982a7cf4515f124935f99a329744035fc699slivehxt/
10270f6f94b2069d0d357805c140a9897449b9ccianhideas
2a6c49cfaef5979a5a06098f3ce987cd76769409manojinstall.sh
10270f6f94b2069d0d357805c140a9897449b9ccianhmini/
10270f6f94b2069d0d357805c140a9897449b9ccianhtest/
4e3b83f6caecb85d4c139a440254cfa2f98e8960ianhtodo
4e3b83f6caecb85d4c139a440254cfa2f98e8960ianhutils/
10270f6f94b2069d0d357805c140a9897449b9ccianhversion_nr
7558016fa8f4776e989f9d9de7694dcb87077bfejerenkrantz