Index of /pub/Otter/LT-WAL/


../
README                                             06-Mar-1995 21:28     692
build-16.in                                        06-Mar-1995 21:28     571
build-16.out                                       06-Mar-1995 21:28    2552
build-19.in                                        06-Mar-1995 21:28     542
build-19.out                                       06-Mar-1995 21:28    2534
build-20.in                                        06-Mar-1995 21:28     317
build-20.out                                       06-Mar-1995 21:28    2898
lemma-1.cooked                                     06-Mar-1995 21:28    2019
lemma-1.in                                         06-Mar-1995 21:28     629
lemma-1.out                                        06-Mar-1995 21:28     10K
lemma-1.proof                                      06-Mar-1995 21:28    1463
lemma-2.cooked                                     06-Mar-1995 21:28    1511
lemma-2.in                                         06-Mar-1995 21:28     578
lemma-2.out                                        06-Mar-1995 21:28    6420
lemma-2.proof                                      06-Mar-1995 21:28    1625
lemma-3.cooked                                     06-Mar-1995 21:28    2197
lemma-3.in                                         06-Mar-1995 21:28    1054
lemma-3.out                                        06-Mar-1995 21:28    8476
lemma-3.proof                                      06-Mar-1995 21:28    1760
lemma-4.cooked                                     06-Mar-1995 21:28    4338
lemma-4.in                                         06-Mar-1995 21:28     866
lemma-4.out                                        06-Mar-1995 21:28     14K
lemma-4.proof                                      06-Mar-1995 21:28    3521
lemma-5a.in                                        06-Mar-1995 21:28     709
lemma-5a.out                                       06-Mar-1995 21:28     36K
lemma-5a.proof                                     06-Mar-1995 21:28    2406
lemma-5b.in                                        06-Mar-1995 21:28     737
lemma-5b.out                                       06-Mar-1995 21:28     55K
lemma-5b.proof                                     06-Mar-1995 21:28    2476
theorem-1.in                                       06-Mar-1995 21:28    1028
theorem-1.out                                      06-Mar-1995 21:28     30K
theorem-1.proof                                    06-Mar-1995 21:28     15K
theorem-2.in                                       06-Mar-1995 21:28     972
theorem-2.out                                      06-Mar-1995 21:28     40K
theorem-2.proof                                    06-Mar-1995 21:28     28K
theorem-3.in                                       06-Mar-1995 21:28    1049
theorem-3.out                                      06-Mar-1995 21:28     78K
theorem-3.proof                                    06-Mar-1995 21:28     55K