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