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