.gitignore revision 8dbc5fec77543515bcd781e1e544dc61e0134cbf
7f007e36bec06aba6b3a0f84a64f2abf99edfcd8gstein*~
5ac928b7a71a12bc1a6b42194c47edbff1dcc02fgregames*.hi
2a6c49cfaef5979a5a06098f3ce987cd76769409manoj*.o
2a6c49cfaef5979a5a06098f3ce987cd76769409manoj*.dyn_hi
2a6c49cfaef5979a5a06098f3ce987cd76769409manoj*.dyn_o
9c831eb41f9010e4ba6eeac4461e88b036b85ea9rbbOWL2/*.jar
9c831eb41f9010e4ba6eeac4461e88b036b85ea9rbbOWL2/java/build/
b876b7bcf0ce3d232da723246d709e8dbbfe8762rbbOWL2/lib/
cf6bf6c34c936e6a6fe731dbce4a5c3c8bf8e9a3gsteinATC/AS_Annotation.der.hs
35330e0d79ceb8027223bbb8330a381b1f989d6etrawickATC/AS_Annotation.hs
6f6f4a4bca281779d196acbdd5c017bb90858305trawickATC/AS_Architecture.der.hs
8dd4618c4709236b4ea297d7250d282e463ce2d8rbbATC/AS_Architecture.hs
09bd86d0db1114ee23eda0a6eb76ca055877a1cftrawickATC/AS_Library.der.hs
2deb319e6b3de239f45c16a3e9e836d44f1f7108rbbATC/AS_Library.hs
bd929c73ef04789b7183b840d8db6e01d03a4d86rbbATC/AS_Structured.der.hs
70f6f32765cfaadd6da8de6f0fea97ddd72d8fadmanojATC/AS_Structured.hs
2a6c49cfaef5979a5a06098f3ce987cd76769409manojATC/Consistency.der.hs
2a4b7a53f3573605d4f5686f03a67c37425dc22bgregamesATC/Consistency.hs
2a4b7a53f3573605d4f5686f03a67c37425dc22bgregamesATC/DefaultMorphism.der.hs
2a4b7a53f3573605d4f5686f03a67c37425dc22bgregamesATC/DefaultMorphism.hs
5ac928b7a71a12bc1a6b42194c47edbff1dcc02fgregamesATC/DevGraph.der.hs
5ac928b7a71a12bc1a6b42194c47edbff1dcc02fgregamesATC/DevGraph.hs
5ac928b7a71a12bc1a6b42194c47edbff1dcc02fgregamesATC/DgUtils.der.hs
5ac928b7a71a12bc1a6b42194c47edbff1dcc02fgregamesATC/DgUtils.hs
5ac928b7a71a12bc1a6b42194c47edbff1dcc02fgregamesATC/ExtSign.der.hs
5ac928b7a71a12bc1a6b42194c47edbff1dcc02fgregamesATC/ExtSign.hs
2a4b7a53f3573605d4f5686f03a67c37425dc22bgregamesATC/GlobalAnnotations.der.hs
2a6c49cfaef5979a5a06098f3ce987cd76769409manojATC/GlobalAnnotations.hs
531c23ff01a2489646f0a2029097013b328d935agsteinATC/Graph.der.hs
50298555098049d0ebddd539668502fb5b796de0wroweATC/Graph.hs
50298555098049d0ebddd539668502fb5b796de0wroweATC/Grothendieck.hs
50298555098049d0ebddd539668502fb5b796de0wroweATC/IRI.der.hs
50298555098049d0ebddd539668502fb5b796de0wroweATC/IRI.hs
50298555098049d0ebddd539668502fb5b796de0wroweATC/Id.der.hs
50298555098049d0ebddd539668502fb5b796de0wroweATC/Id.hs
50298555098049d0ebddd539668502fb5b796de0wroweATC/LibName.der.hs
50298555098049d0ebddd539668502fb5b796de0wroweATC/LibName.hs
50298555098049d0ebddd539668502fb5b796de0wroweATC/OrderedMap.der.hs
447c6ce3ff08073c44f6785d5256271fcb877512wroweATC/OrderedMap.hs
447c6ce3ff08073c44f6785d5256271fcb877512wroweATC/ProofTree.der.hs
447c6ce3ff08073c44f6785d5256271fcb877512wroweATC/ProofTree.hs
447c6ce3ff08073c44f6785d5256271fcb877512wroweATC/Prover.der.hs
85cbdc16ac57fa68ce1358a308269abcd417f4d9stoddardATC/Prover.hs
50298555098049d0ebddd539668502fb5b796de0wroweATC/Result.der.hs
85cbdc16ac57fa68ce1358a308269abcd417f4d9stoddardATC/Result.hs
d208bda4a893cc81ed5d3ed1cdd7d706e012bd42stoddardATC/XGraph.der.hs
d208bda4a893cc81ed5d3ed1cdd7d706e012bd42stoddardATC/XGraph.hs
d208bda4a893cc81ed5d3ed1cdd7d706e012bd42stoddardAdl/ATC_Adl.der.hs
d208bda4a893cc81ed5d3ed1cdd7d706e012bd42stoddardAdl/ATC_Adl.hs
10b386767f6c87b45937244371cb751f0b454d16wroweCASL/AS_Basic_CASL.hs
10b386767f6c87b45937244371cb751f0b454d16wroweCASL/ATC_CASL.der.hs
863ec32e13d6c9619414c48b51109f3dca99cbc6wroweCASL/ATC_CASL.hs
863ec32e13d6c9619414c48b51109f3dca99cbc6wroweCASL_DL/AS_CASL_DL.hs
75960f20f88dad6bc67892c711c429946063d133stoddardCASL_DL/ATC_CASL_DL.der.hs
75960f20f88dad6bc67892c711c429946063d133stoddardCASL_DL/ATC_CASL_DL.hs
75960f20f88dad6bc67892c711c429946063d133stoddardCOL/AS_COL.hs
75960f20f88dad6bc67892c711c429946063d133stoddardCOL/ATC_COL.der.hs
75960f20f88dad6bc67892c711c429946063d133stoddardCOL/ATC_COL.hs
75960f20f88dad6bc67892c711c429946063d133stoddardCSL/ATC_CSL.der.hs
75960f20f88dad6bc67892c711c429946063d133stoddardCSL/ATC_CSL.hs
10b386767f6c87b45937244371cb751f0b454d16wroweCoCASL/AS_CoCASL.hs
10b386767f6c87b45937244371cb751f0b454d16wroweCoCASL/ATC_CoCASL.der.hs
10b386767f6c87b45937244371cb751f0b454d16wroweCoCASL/ATC_CoCASL.hs
10b386767f6c87b45937244371cb751f0b454d16wroweCommon/AS_Annotation.hs
10b386767f6c87b45937244371cb751f0b454d16wroweCommonLogic/AS_CommonLogic.hs
10b386767f6c87b45937244371cb751f0b454d16wroweCommonLogic/ATC_CommonLogic.der.hs
50298555098049d0ebddd539668502fb5b796de0wroweCommonLogic/ATC_CommonLogic.hs
10b386767f6c87b45937244371cb751f0b454d16wroweConstraintCASL/ATC_ConstraintCASL.der.hs
a9e07e4f90adcc7bc768db3055431c3dcd560cd1manojConstraintCASL/ATC_ConstraintCASL.hs
f6a6245816cd866361da8c576b1f47c7a54b6610fanfCspCASL/AS_CspCASL.hs
f6a6245816cd866361da8c576b1f47c7a54b6610fanfCspCASL/AS_CspCASL_Process.hs
97b758d0b174d7b7c5a1de1a583f5840ec3fc910trawickCspCASL/ATC_CspCASL.der.hs
db3ccce11afac4fc1d4f51a65424412f7480c46cgsteinCspCASL/ATC_CspCASL.hs
79d5106a9b65b956d646f5daae4b94bc79e315b8trawickDFOL/ATC_DFOL.der.hs
79d5106a9b65b956d646f5daae4b94bc79e315b8trawickDFOL/ATC_DFOL.hs
79d5106a9b65b956d646f5daae4b94bc79e315b8trawickDriver/Version.hs
79d5106a9b65b956d646f5daae4b94bc79e315b8trawickExtModal/AS_ExtModal.hs
79d5106a9b65b956d646f5daae4b94bc79e315b8trawickExtModal/ATC_ExtModal.der.hs
79d5106a9b65b956d646f5daae4b94bc79e315b8trawickExtModal/ATC_ExtModal.hs
9eccc0a669a3e711629345b357c46acce5fefdb4gsteinFpl/ATC_Fpl.der.hs
9eccc0a669a3e711629345b357c46acce5fefdb4gsteinFpl/ATC_Fpl.hs
750fcd3495b59eff6d4844409ae1dfb46d026059gsteinFpl/As.hs
750fcd3495b59eff6d4844409ae1dfb46d026059gsteinFramework/ATC_Framework.der.hs
750fcd3495b59eff6d4844409ae1dfb46d026059gsteinFramework/ATC_Framework.hs
750fcd3495b59eff6d4844409ae1dfb46d026059gsteinFreeCAD/ATC_FreeCAD.der.hs
750fcd3495b59eff6d4844409ae1dfb46d026059gsteinFreeCAD/ATC_FreeCAD.hs
750fcd3495b59eff6d4844409ae1dfb46d026059gsteinGUI/Glade/GenericATP.hs
750fcd3495b59eff6d4844409ae1dfb46d026059gsteinGUI/Glade/LinkTypeChoice.hs
750fcd3495b59eff6d4844409ae1dfb46d026059gsteinGUI/Glade/NodeChecker.hs
750fcd3495b59eff6d4844409ae1dfb46d026059gsteinGUI/Glade/ProverGUI.hs
750fcd3495b59eff6d4844409ae1dfb46d026059gsteinGUI/Glade/TextField.hs
9eccc0a669a3e711629345b357c46acce5fefdb4gsteinGUI/Glade/Utils.hs
e9cfc70fceb74521ba0814cdc88808c7d4d00c97gsteinHasCASL/ATC_HasCASL.der.hs
e9cfc70fceb74521ba0814cdc88808c7d4d00c97gsteinHasCASL/ATC_HasCASL.hs
e9cfc70fceb74521ba0814cdc88808c7d4d00c97gsteinHaskell/ATC_Haskell.der.hs
e9cfc70fceb74521ba0814cdc88808c7d4d00c97gsteinHaskell/ATC_Haskell.hs
e9cfc70fceb74521ba0814cdc88808c7d4d00c97gsteinHaskell/PreludeString.hs
26ef89f716a43048630e73f527dd2f0ee84f72c2rbbHaskell/TiATC.hs
26ef89f716a43048630e73f527dd2f0ee84f72c2rbbHaskell/TiDecorateATC.hs
26ef89f716a43048630e73f527dd2f0ee84f72c2rbbHaskell/TiPropATC.hs
26ef89f716a43048630e73f527dd2f0ee84f72c2rbbHolLight/ATC_HolLight.der.hs
9eccc0a669a3e711629345b357c46acce5fefdb4gsteinHolLight/ATC_HolLight.hs
281da4c02cf40c663298ded7e4e5b913a8f8b814gsteinIsabelle/ATC_Isabelle.der.hs
281da4c02cf40c663298ded7e4e5b913a8f8b814gsteinIsabelle/ATC_Isabelle.hs
281da4c02cf40c663298ded7e4e5b913a8f8b814gsteinIsabelle/IsaExport.hs
ec75f189410513ab8f6e1173a9d9d277ebec9ce7gsteinIsabelle/export/examples/*.isa
ec75f189410513ab8f6e1173a9d9d277ebec9ce7gsteinIsabelle/export/examples/*.isa.pretty.xml
ec75f189410513ab8f6e1173a9d9d277ebec9ce7gsteinLF/ATC_LF.der.hs
ec75f189410513ab8f6e1173a9d9d277ebec9ce7gsteinLF/ATC_LF.hs
ec75f189410513ab8f6e1173a9d9d277ebec9ce7gsteinMaude/ATC_Maude.der.hs
ec75f189410513ab8f6e1173a9d9d277ebec9ce7gsteinMaude/ATC_Maude.hs
ec75f189410513ab8f6e1173a9d9d277ebec9ce7gsteinModal/AS_Modal.hs
ec75f189410513ab8f6e1173a9d9d277ebec9ce7gsteinModal/ATC_Modal.der.hs
2a6c49cfaef5979a5a06098f3ce987cd76769409manojModal/ATC_Modal.hs
33a70d93b992bbb63b809c24df29451f38f017c1rbbOMDoc/ATC_OMDoc.der.hs
90aa1045e25f8ae38b16905abafbb37c89553469jwoolleyOMDoc/ATC_OMDoc.hs
90aa1045e25f8ae38b16905abafbb37c89553469jwoolleyOWL2/ATC_OWL2.der.hs
90aa1045e25f8ae38b16905abafbb37c89553469jwoolleyOWL2/ATC_OWL2.hs
164a65065e0e61efa779c3a66c2242be6d88b9e2rbbPropositional/AS_BASIC_Propositional.hs
0b54edee18a0ec095640e1038ff6da7d35042b44rbbPropositional/ATC_Propositional.der.hs
0b54edee18a0ec095640e1038ff6da7d35042b44rbbPropositional/ATC_Propositional.hs
0b54edee18a0ec095640e1038ff6da7d35042b44rbbQBF/AS_BASIC_QBF.hs
0b54edee18a0ec095640e1038ff6da7d35042b44rbbQBF/ATC_QBF.der.hs
b187d568e1507d75139ebc13ca945b38fc05d55cstoddardQBF/ATC_QBF.hs
b187d568e1507d75139ebc13ca945b38fc05d55cstoddardRDF/ATC_RDF.der.hs
b187d568e1507d75139ebc13ca945b38fc05d55cstoddardRDF/ATC_RDF.hs
1c6fb1e726ce22694de0e9a957adb67b929e5d4fstoddardRelationalScheme/AS.hs
1c6fb1e726ce22694de0e9a957adb67b929e5d4fstoddardRelationalScheme/ATC_RelationalScheme.der.hs
8bed76428f56e5c643174a2d6807c3f18016af5cbjhRelationalScheme/ATC_RelationalScheme.hs
8bed76428f56e5c643174a2d6807c3f18016af5cbjhSoftFOL/ATC_SoftFOL.der.hs
8bed76428f56e5c643174a2d6807c3f18016af5cbjhSoftFOL/ATC_SoftFOL.hs
8bed76428f56e5c643174a2d6807c3f18016af5cbjhSyntax/AS_Architecture.hs
8bed76428f56e5c643174a2d6807c3f18016af5cbjhSyntax/AS_Library.hs
2aae6faee508221efbeaba5547ca79b7a20ef047stoddardSyntax/AS_Structured.hs
2aae6faee508221efbeaba5547ca79b7a20ef047stoddardTHF/ATC_THF.der.hs
10b386767f6c87b45937244371cb751f0b454d16wroweTHF/ATC_THF.hs
10b386767f6c87b45937244371cb751f0b454d16wroweTHF/As.hs
50298555098049d0ebddd539668502fb5b796de0wroweTemporal/ATC_Temporal.der.hs
50298555098049d0ebddd539668502fb5b796de0wroweTemporal/ATC_Temporal.hs
10b386767f6c87b45937244371cb751f0b454d16wroweVSE/ATC_VSE.der.hs
10b386767f6c87b45937244371cb751f0b454d16wroweVSE/ATC_VSE.hs
10b386767f6c87b45937244371cb751f0b454d16wrowehets
10b386767f6c87b45937244371cb751f0b454d16wrowerev.txt
50298555098049d0ebddd539668502fb5b796de0wroweutils/DrIFT
75960f20f88dad6bc67892c711c429946063d133stoddardutils/DtdToHaskell
a5ed555df952c85bc1b179f5981e8a6c54ba16e6stoddardutils/DtdToHaskell-src/DtdToHaskell/
d2f8b010487ffa990a9c268df5a25579e7291bcdrbbutils/appendHaskellPreludeString
d2f8b010487ffa990a9c268df5a25579e7291bcdrbbutils/genRules
a5ed555df952c85bc1b179f5981e8a6c54ba16e6stoddardHybrid/ATC_Hybrid.hs
0bff2f28ef945280c17099c142126178a78e1e54manojTopHybrid/ATC_TopHybrid.hs
0bff2f28ef945280c17099c142126178a78e1e54manojHybrid/AS_Hybrid.hs
0bff2f28ef945280c17099c142126178a78e1e54manojHybrid/ATC_Hybrid.der.hs
1e585ba09ea32272e63c4c39c35491e975d21d98stoddardTopHybrid/AS_TopHybrid.hs
0bff2f28ef945280c17099c142126178a78e1e54manojTopHybrid/ATC_TopHybrid.der.hs
35330e0d79ceb8027223bbb8330a381b1f989d6etrawickCSMOF/ATC_CSMOF.der.hs
0bff2f28ef945280c17099c142126178a78e1e54manojCSMOF/ATC_CSMOF.hs
9c09943bad734ebd5c7cc10bd6d63b75c4c6e056stoddardQVTR/ATC_QVTR.der.hs
75960f20f88dad6bc67892c711c429946063d133stoddardQVTR/ATC_QVTR.hs
302dc1f7b3feee23a91ad8f3cf3cb2edd95a557bmanoj