Index of /SATURATE/examples/ChurchRosserOrig
Name Last modified Size Description
Parent Directory -
beta 1999-08-03 15:18 230
cd 1999-08-03 15:18 202
comm_lemma 1999-08-03 15:18 120
comma 1999-08-03 15:18 29K
commb 1999-08-03 15:18 4.5K
comp_th 1999-08-03 15:18 57
diamond_pbeta 1999-08-03 15:18 121
int 1999-08-03 15:18 213
int_lemmas 1999-08-03 15:18 56
lemmaB1 1999-08-03 15:18 122
lemmaB2 1999-08-03 15:18 132
lemmaB3a 1999-08-03 15:18 170
lemmaB3b 1999-08-03 15:18 90
lemmaE1 1999-08-03 15:18 80
lemmaE2 1999-08-03 15:18 88
lemmaE3a 1999-08-03 15:18 166
lemmaE3b 1999-08-03 15:18 86
lemmaE6 1999-08-03 15:18 119
lemmaE7 1999-08-03 15:18 128
lemmaE8 1999-08-03 15:18 127
lemmaF2 1999-08-03 15:18 172
lemmaF3 1999-08-03 15:18 206
lemmaP1 1999-08-03 15:18 84
lemmaP2 1999-08-03 15:18 132
pbeta 1999-08-03 15:18 207
pr_comp 1999-08-03 15:18 15K
pr_dia 1999-08-03 15:18 20K
pr_diamond_pbeta 1999-08-03 15:18 1.6K
pr_lemmaB1 1999-08-03 15:18 11K
pr_lemmaB2 1999-08-03 15:18 8.5K
pr_lemmaB3a 1999-08-03 15:18 3.8K
pr_lemmaB3b 1999-08-03 15:18 4.9K
pr_lemmaBP 1999-08-03 15:18 2.6K
pr_lemmaE1 1999-08-03 15:18 15K
pr_lemmaE2 1999-08-03 15:18 12K
pr_lemmaE6 1999-08-03 15:18 10K
pr_lemmaF1 1999-08-03 15:18 7.4K
pr_lemmaF2 1999-08-03 15:18 27K
pr_lemmaF3 1999-08-03 15:18 40K
pr_lemmaP1 1999-08-03 15:18 10K
pr_lemmaP2 1999-08-03 15:18 18K
pr_lemmaPBS 1999-08-03 15:18 5.5K
pr_subst_lemma1 1999-08-03 15:18 6.9K
pr_subst_lemma2 1999-08-03 15:18 12K
pr_subst_lemma3 1999-08-03 15:18 8.1K
pr_subst_lemma4 1999-08-03 15:18 3.6K
pr_subst_lemma5 1999-08-03 15:18 16K
pr_subst_lemma6 1999-08-03 15:18 6.0K
subst_lemmas 1999-08-03 15:18 767
defaults 2002-05-22 17:00 290
subst 2002-05-22 21:43 586
eta 2002-05-22 21:45 325
etas 2002-06-28 13:54 138
pr_lemmaE7 2002-06-28 13:56 9.0K
pr_lemmaE3b 2002-06-28 15:59 4.9K
pr_lemmaE3a 2002-06-28 15:59 3.7K
pr_lemmaE8 2002-06-28 17:06 23K
ls-lR 2007-03-29 09:53 3.9K
ls-lR.gz 2007-03-29 09:53 603
cr-lemmas.html 2018-08-10 13:16 28K
Apache/2.4.62 (Debian) Server at resources.mpi-inf.mpg.de Port 443