Name Last modified Size Description![[PARENTDIR]](/icons/back.gif){kind=icon}
Parent Directory -
![[DIR]](/icons/folder.gif){kind=icon}
tools/ 2016-07-27 17:44 -
![[ ]](/icons/unknown.gif){kind=icon}
CondensedSemantics.casl 2014-12-15 14:27 2.8K
DRA.casl 2014-12-15 14:27 473K
DRA.hpf 2014-12-15 14:27 185
DRA_FO.casl 2014-12-15 14:27 25K
![[TXT]](/icons/text.gif){kind=icon}
DRA_HO.het 2014-12-15 14:27 14K
DRA_X.het 2014-12-15 14:27 561K
DRA_X.hpf 2014-12-15 14:27 1.3K
DoubleCross.het 2014-12-15 14:27 14K
EuclideanSpace.het 2014-12-15 14:27 1.5K
FlipFlop.casl 2014-12-15 14:27 4.5K
FlipFlop.hpf 2014-12-15 14:27 203
FlipFlop_FO.casl 2014-12-15 14:27 5.5K
FlipFlop_FO_FlipFlopExt_FO.thy 2014-12-15 14:27 93K
Instructions.txt 2014-12-15 14:27 476
Intersection.casl 2014-12-15 14:27 2.4K
Interval.casl 2014-12-15 14:27 3.5K
LR.het 2014-12-15 14:27 9.3K
LR.hpf 2014-12-15 14:27 1.7K
Makefile 2014-12-15 14:27 1.1K
Modal_RCC8.het 2014-12-15 14:27 1.0K
OrientationCalculi.het 2014-12-15 14:27 11K
OrientationCalculi.hpf 2014-12-15 14:27 924
PA2.het 2014-12-15 14:27 432
RCC5.het 2014-12-15 14:27 9.0K
RCC8.het 2014-12-15 14:27 12K
RCCAlgebra.casl 2014-12-15 14:27 8.9K
RCCDagstuhl-proved.dg 2014-12-15 14:27 155K
RCCDagstuhl.het 2014-12-15 14:27 17K
RCCDagstuhl2.het 2014-12-15 14:27 17K
RCCDagstuhl2.hpf.example 2014-12-15 14:27 3.1K
RCCDagstuhl2_NN_T.thy 2014-12-15 14:27 14K
RCCDagstuhl_ExtRCCByRCC5Rels_E1-proof-details-1.txt 2014-12-15 14:27 4.8K
RCCDagstuhl_ExtRCCByRCC5Rels_E1-proof-details.txt 2014-12-15 14:27 6.9K
RCCDagstuhl_ExtRCCByRCC5Rels_E1.spcf 2014-12-15 14:27 1.5M
RCCDagstuhl_ExtRCCByRCC8Rels_E1-proof-details.txt 2014-12-15 14:27 22K
RCCDagstuhl_RCC_FO_E1-proof-details.txt 2014-12-15 14:27 2.2K
RCCDagstuhl_RCC_FO_E1.spcf 2014-12-15 14:27 42K
RCCVerification.het 2014-12-15 14:27 14K
RCCVerification.hpf.example 2014-12-15 14:27 3.2K
RCCVerification.txt 2014-12-15 14:27 971
SimpleRCC.het 2014-12-15 14:27 1.7K
SimpleRCC.hpf 2014-12-15 14:27 294
TopologicalCalculi.het 2014-12-15 14:27 2.0K