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