-
Notifications
You must be signed in to change notification settings - Fork 0
/
sequel70.ltv
458 lines (458 loc) · 38.8 KB
/
sequel70.ltv
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
rwxr-xr-x 1590/1010 0 Aug 24 11:35 1993 SEQUEL/
rw------- 1590/1010 7949 Jan 21 07:20 1994 SEQUEL/readme
rw------- 1590/1010 2356 Jan 19 07:47 1994 SEQUEL/copyright
rwxr-sr-x 1590/1010 0 Jan 11 12:50 1994 SEQUEL/FRAMEWORKS/
rwxr-sr-x 1590/1010 0 Aug 23 09:34 1993 SEQUEL/FRAMEWORKS/FOL/
rw-r--r-- 1590/1010 308 Oct 8 08:10 1992 SEQUEL/FRAMEWORKS/FOL/README
rw-r--r-- 1590/1010 653 Mar 27 13:19 1993 SEQUEL/FRAMEWORKS/FOL/do-rewrites.tac
rw-r--r-- 1590/1010 158 Oct 8 08:10 1992 SEQUEL/FRAMEWORKS/FOL/fixpoint.tac
rw-r--r-- 1590/1010 789 Apr 8 07:48 1993 SEQUEL/FRAMEWORKS/FOL/fol.axioms
rw-r--r-- 1590/1010 8273 Apr 26 07:57 1993 SEQUEL/FRAMEWORKS/FOL/fol.doc
rw-r--r-- 1590/1010 765 Oct 9 06:51 1992 SEQUEL/FRAMEWORKS/FOL/fol.external-syntax
rw-r--r-- 1590/1010 713 Jan 20 08:44 1994 SEQUEL/FRAMEWORKS/FOL/fol.fr
rw-r--r-- 1590/1010 4615 Jan 21 11:12 1994 SEQUEL/FRAMEWORKS/FOL/fol.rew
rw-r--r-- 1590/1010 1141 Aug 17 12:54 1993 SEQUEL/FRAMEWORKS/FOL/fol.syntax
rw-r--r-- 1590/1010 1365 Jan 21 11:16 1994 SEQUEL/FRAMEWORKS/FOL/skol.tactics
rw-r--r-- 1590/1010 781 Apr 8 07:50 1993 SEQUEL/FRAMEWORKS/FOL/tableau.tac
rw-r--r-- 1590/1010 265 Oct 9 10:07 1992 SEQUEL/FRAMEWORKS/FOL/problems
rwxr-sr-x 1590/1010 0 Jan 20 08:48 1994 SEQUEL/FRAMEWORKS/NAIVE-PHYSICS/
rw-r--r-- 1590/1010 582 Jul 6 04:57 1992 SEQUEL/FRAMEWORKS/NAIVE-PHYSICS/hierarchy.tac
rw-r--r-- 1590/1010 762 Mar 30 12:10 1993 SEQUEL/FRAMEWORKS/NAIVE-PHYSICS/np.axioms
rw-r--r-- 1590/1010 3826 Apr 18 08:44 1993 SEQUEL/FRAMEWORKS/NAIVE-PHYSICS/np.doc
rw-r--r-- 1590/1010 1429 Jan 20 08:48 1994 SEQUEL/FRAMEWORKS/NAIVE-PHYSICS/np.fr
rw-r--r-- 1590/1010 7075 Apr 16 13:33 1993 SEQUEL/FRAMEWORKS/NAIVE-PHYSICS/np.rew
rw-r--r-- 1590/1010 2910 Apr 16 12:45 1993 SEQUEL/FRAMEWORKS/NAIVE-PHYSICS/np.tac
rw-r--r-- 1590/1010 119 Nov 1 15:45 1992 SEQUEL/FRAMEWORKS/NAIVE-PHYSICS/plotkin.tac
rw-r--r-- 1590/1010 693 Jul 6 04:57 1992 SEQUEL/FRAMEWORKS/NAIVE-PHYSICS/predicates-in-sequent.tac
rw-r--r-- 1590/1010 939 Mar 27 14:22 1993 SEQUEL/FRAMEWORKS/NAIVE-PHYSICS/problems
rw-r--r-- 1590/1010 272 Mar 30 11:59 1993 SEQUEL/FRAMEWORKS/NAIVE-PHYSICS/README
rw-r--r-- 1590/1010 100398 Apr 20 09:22 1993 SEQUEL/FRAMEWORKS/NAIVE-PHYSICS/nasty-problems
rwxr-sr-x 1590/1010 0 May 10 10:30 1993 SEQUEL/FRAMEWORKS/MIX/
rw-r--r-- 1590/1010 377 Oct 9 06:52 1992 SEQUEL/FRAMEWORKS/MIX/README
rw-r--r-- 1590/1010 121 Oct 8 08:11 1992 SEQUEL/FRAMEWORKS/MIX/append.rew
rw-r--r-- 1590/1010 531 Oct 8 08:11 1992 SEQUEL/FRAMEWORKS/MIX/mix.axioms
rw-r--r-- 1590/1010 2575 Oct 8 08:11 1992 SEQUEL/FRAMEWORKS/MIX/mix.doc
rw-r--r-- 1590/1010 160 Oct 8 08:11 1992 SEQUEL/FRAMEWORKS/MIX/mix.external-syntax
rw-r--r-- 1590/1010 889 Jan 20 08:46 1994 SEQUEL/FRAMEWORKS/MIX/mix.fr
rw-r--r-- 1590/1010 1552 Oct 8 08:11 1992 SEQUEL/FRAMEWORKS/MIX/mix.rew
rw-r--r-- 1590/1010 317 Oct 8 08:11 1992 SEQUEL/FRAMEWORKS/MIX/mix.syntax
rw-r--r-- 1590/1010 5956 Oct 8 08:11 1992 SEQUEL/FRAMEWORKS/MIX/mix.tac
rw-r--r-- 1590/1010 3438 Oct 8 08:11 1992 SEQUEL/FRAMEWORKS/MIX/unify.rew
rwxr-sr-x 1590/1010 0 Oct 9 09:14 1992 SEQUEL/FRAMEWORKS/SET-THEORY/
rw-r--r-- 1590/1010 597 Mar 30 07:47 1993 SEQUEL/FRAMEWORKS/SET-THEORY/bledsoe.tac
rw-r--r-- 1590/1010 431 Jul 6 05:00 1992 SEQUEL/FRAMEWORKS/SET-THEORY/fixdorewrite.tac
rw-r--r-- 1590/1010 130 Oct 9 07:39 1992 SEQUEL/FRAMEWORKS/SET-THEORY/set-theory.axioms
rw-r--r-- 1590/1010 2052 Oct 9 09:15 1992 SEQUEL/FRAMEWORKS/SET-THEORY/set-theory.doc
rw-r--r-- 1590/1010 1068 Jan 20 08:49 1994 SEQUEL/FRAMEWORKS/SET-THEORY/set-theory.fr
rw-r--r-- 1590/1010 1266 Apr 23 07:08 1993 SEQUEL/FRAMEWORKS/SET-THEORY/set-theory.rew
rw-r--r-- 1590/1010 211 Apr 23 07:12 1993 SEQUEL/FRAMEWORKS/SET-THEORY/set-theory.tac
rw-r--r-- 1590/1010 398 Apr 26 08:29 1993 SEQUEL/FRAMEWORKS/SET-THEORY/README
rw-r--r-- 1590/1010 550 Oct 9 11:47 1992 SEQUEL/FRAMEWORKS/SET-THEORY/problems
rwxr-sr-x 1590/1010 0 May 10 11:45 1993 SEQUEL/FRAMEWORKS/MODAL/
rw-r--r-- 1590/1010 1227 Apr 30 06:48 1993 SEQUEL/FRAMEWORKS/MODAL/modal.syntax
rw-r--r-- 1590/1010 251 May 3 07:14 1993 SEQUEL/FRAMEWORKS/MODAL/modal.rew
rw-r--r-- 1590/1010 747 Jan 20 08:47 1994 SEQUEL/FRAMEWORKS/MODAL/S4.fr
rw-r--r-- 1590/1010 839 Jan 20 08:48 1994 SEQUEL/FRAMEWORKS/MODAL/S5.fr
rw-r--r-- 1590/1010 416 May 3 07:25 1993 SEQUEL/FRAMEWORKS/MODAL/system-t.axioms
rw-r--r-- 1590/1010 817 Apr 30 06:33 1993 SEQUEL/FRAMEWORKS/MODAL/modal.external-syntax
rw-r--r-- 1590/1010 696 Jan 20 08:47 1994 SEQUEL/FRAMEWORKS/MODAL/SYSTEM_T.fr
rw-r--r-- 1590/1010 659 Apr 30 07:19 1993 SEQUEL/FRAMEWORKS/MODAL/proof1
rw-r--r-- 1590/1010 1219 Apr 30 07:07 1993 SEQUEL/FRAMEWORKS/MODAL/proof2
rw-r--r-- 1590/1010 73 Apr 30 07:22 1993 SEQUEL/FRAMEWORKS/MODAL/m2-rules
rw-r--r-- 1590/1010 96 May 3 07:15 1993 SEQUEL/FRAMEWORKS/MODAL/modal.tac
rw-r--r-- 1590/1010 124 May 3 07:20 1993 SEQUEL/FRAMEWORKS/MODAL/S4.axioms
rw-r--r-- 1590/1010 124 May 3 07:22 1993 SEQUEL/FRAMEWORKS/MODAL/S5.axioms
rw-r--r-- 1590/1010 672 May 10 11:01 1993 SEQUEL/FRAMEWORKS/MODAL/modal.doc
rwxr-sr-x 1590/1010 0 Apr 7 05:28 1993 SEQUEL/FRAMEWORKS/INT/
rw-r--r-- 1590/1010 734 Jun 16 09:45 1993 SEQUEL/FRAMEWORKS/INT/int.axioms
rw-r--r-- 1590/1010 136 Apr 6 13:54 1993 SEQUEL/FRAMEWORKS/INT/int.rew
rw-r--r-- 1590/1010 449 Jan 20 08:46 1994 SEQUEL/FRAMEWORKS/INT/int.fr
rw-r--r-- 1590/1010 1063 Apr 7 06:09 1993 SEQUEL/FRAMEWORKS/INT/int.doc
rwxr-sr-x 1590/1010 0 Feb 1 05:19 1994 SEQUEL/FRAMEWORKS/SQOTTER/
rw-r--r-- 1590/1010 1201 Jul 1 05:17 1993 SEQUEL/FRAMEWORKS/SQOTTER/sqotter.axioms
rw-r--r-- 1590/1010 7369 Aug 20 13:42 1993 SEQUEL/FRAMEWORKS/SQOTTER/sqotter.doc
rw-r--r-- 1590/1010 765 Feb 23 11:17 1993 SEQUEL/FRAMEWORKS/SQOTTER/sqotter.external-syntax
rw-r--r-- 1590/1010 3251 Aug 23 05:04 1993 SEQUEL/FRAMEWORKS/SQOTTER/README
rw-r--r-- 1590/1010 965 Apr 20 13:06 1993 SEQUEL/FRAMEWORKS/SQOTTER/sqotter.tac
rwxr-xr-x 1590/1010 0 Aug 20 12:14 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/
rwxr-xr-x 1590/1010 0 Aug 20 12:15 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/source/
rw-r--r-- 1590/1010 71575 Apr 28 05:37 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/source/formula.c
rw-r--r-- 1590/1010 6352 Apr 28 05:37 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/source/fpa.o
rw-r--r-- 1590/1010 5640 Apr 28 05:37 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/source/imd.o
rw-r--r-- 1590/1010 6848 Apr 28 05:37 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/source/main.o
rw-r--r-- 1590/1010 19404 Apr 28 05:37 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/source/resolve.o
rw-r--r-- 1590/1010 50045 Apr 28 05:37 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/source/av.c
rw-r--r-- 1590/1010 23340 Apr 28 05:37 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/source/clause.o
rw-r--r-- 1590/1010 3889 Apr 28 05:37 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/source/clocks.c
rw-r--r-- 1590/1010 11068 Apr 28 05:37 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/source/cos.h
rw-r--r-- 1590/1010 29786 Apr 28 05:37 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/source/demod.c
rw-r--r-- 1590/1010 12737 Apr 28 05:37 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/source/formed.h
rw-r--r-- 1590/1010 4576 Apr 28 05:37 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/source/formed.in
rw-r--r-- 1590/1010 22050 Apr 28 05:37 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/source/fpa.c
rw-r--r-- 1590/1010 11576 Apr 28 05:37 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/source/header.h
rw-r--r-- 1590/1010 8752 Apr 28 05:37 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/source/index.c
rw-r--r-- 1590/1010 35406 Apr 28 05:37 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/source/io.c
rw-r--r-- 1590/1010 12130 Apr 28 05:37 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/source/is.c
rw-r--r-- 1590/1010 740 Apr 28 05:37 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/source/linkhyp.c
rw-r--r-- 1590/1010 72526 Apr 28 05:37 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/source/linkur.c
rw-r--r-- 1590/1010 8888 Apr 28 05:37 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/source/lrpo.c
rw-r--r-- 1590/1010 2955 Apr 28 05:37 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/source/macros.h
rw-r--r-- 1590/1010 1330 Apr 28 05:37 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/source/makefile
rw-r--r-- 1590/1010 20730 Apr 28 05:37 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/source/options.c
rwxr--r-- 1590/1010 221184 Apr 28 05:37 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/source/otter
rw-r--r-- 1590/1010 12285 Apr 28 05:37 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/source/process.c
rw-r--r-- 1590/1010 8872 Apr 28 05:37 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/source/proto.h
rw-r--r-- 1590/1010 15252 Apr 28 05:37 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/source/share.c
rw-r--r-- 1590/1010 7588 Apr 28 05:37 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/source/share.o
rw-r--r-- 1590/1010 21469 Apr 28 05:37 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/source/weight.c
rw-r--r-- 1590/1010 48728 Apr 28 05:37 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/source/misc.o
rw-r--r-- 1590/1010 8670 Apr 28 05:37 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/source/types.h
rw-r--r-- 1590/1010 29600 Apr 28 05:37 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/source/av.o
rw-r--r-- 1590/1010 56899 Apr 28 05:37 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/source/callbacks.c
rw-r--r-- 1590/1010 17592 Apr 28 05:37 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/source/demod.o
rw-r--r-- 1590/1010 203 Apr 28 05:37 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/source/README.ROO
rw-r--r-- 1590/1010 900 Apr 28 05:37 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/source/clocks.o
rw-r--r-- 1590/1010 18228 Apr 28 05:37 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/source/options.o
rw-r--r-- 1590/1010 29532 Apr 28 05:37 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/source/formula.o
rw-r--r-- 1590/1010 5368 Apr 28 05:37 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/source/index.o
rw-r--r-- 1590/1010 11106 Apr 28 05:37 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/source/paramod.c
rw-r--r-- 1590/1010 21808 Apr 28 05:37 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/source/io.o
rw-r--r-- 1590/1010 4244 Apr 28 05:37 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/source/is.o
rw-r--r-- 1590/1010 12425 Apr 28 05:37 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/source/unify.c
rw-r--r-- 1590/1010 29203 Apr 28 05:37 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/source/display.c
rw-r--r-- 1590/1010 9232 Apr 28 05:37 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/source/weight.o
rw-r--r-- 1590/1010 1018 Apr 28 05:37 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/source/README.FOR
rw-r--r-- 1590/1010 188 Apr 28 05:37 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/source/linkhyp.o
rw-r--r-- 1590/1010 22878 Apr 28 05:37 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/source/formed.c
rw-r--r-- 1590/1010 7020 Apr 28 05:37 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/source/paramod.o
rw-r--r-- 1590/1010 3724 Apr 28 05:37 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/source/unify.o
rw-r--r-- 1590/1010 18032 Apr 28 05:37 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/source/process.o
rw-r--r-- 1590/1010 9042 Apr 28 05:37 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/source/help_str.h
rw-r--r-- 1590/1010 12898 Apr 28 05:37 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/source/imd.c
rw-r--r-- 1590/1010 32425 Apr 28 05:37 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/source/resolve.c
rw-r--r-- 1590/1010 3248 Apr 28 05:37 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/source/lrpo.o
rw-r--r-- 1590/1010 6553 Apr 28 05:37 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/source/main.c
rw-r--r-- 1590/1010 24376 Apr 28 05:37 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/source/linkur.o
rw-r--r-- 1590/1010 1256 Apr 28 05:37 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/source/README.MAC
rw-r--r-- 1590/1010 1721 Apr 28 05:37 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/source/README.PC
rw-r--r-- 1590/1010 1152 Apr 28 05:37 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/source/README.UNX
rw-r--r-- 1590/1010 45701 Apr 28 05:37 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/source/clause.c
rw-r--r-- 1590/1010 1504 Apr 28 05:37 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/source/makefile.for
rw-r--r-- 1590/1010 41548 Apr 28 05:37 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/source/misc.c
rwxr-xr-x 1590/1010 0 Apr 28 05:38 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/misc/
rw-r--r-- 1590/1010 37 Apr 28 05:37 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/misc/libs.rsp
rw-r--r-- 1590/1010 1174 Apr 28 05:37 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/misc/README
rw-r--r-- 1590/1010 2205 Apr 28 05:37 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/misc/README.ATP
rwxr--r-- 1590/1010 152 Apr 28 05:37 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/misc/to_dos
rwxr--r-- 1590/1010 150 Apr 28 05:37 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/misc/to_unix
rw-r--r-- 1590/1010 452 Apr 28 05:37 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/misc/makefile.tbo
rw-r--r-- 1590/1010 262 Apr 28 05:37 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/misc/objs.rsp
rw-r--r-- 1590/1010 901 Apr 28 05:37 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/misc/run_all.bat
rwxr--r-- 1590/1010 75 Apr 28 05:37 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/misc/run
rwxr--r-- 1590/1010 736 Apr 28 05:37 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/misc/run_all
rw-r--r-- 1590/1010 1330 Apr 28 05:37 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/misc/makefile.unx
rwxr--r-- 1590/1010 220656 Apr 28 05:38 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/misc/otter.exe
rw-r--r-- 1590/1010 946 Apr 28 05:38 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/misc/run_32.bat
rwxr--r-- 1590/1010 206846 Apr 28 05:38 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/misc/otter_32.exe
rw-r--r-- 1590/1010 195840 Apr 28 05:38 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/misc/Otter.Mac
rwxr-xr-x 1590/1010 0 Apr 28 05:38 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/document/
rw-r--r-- 1590/1010 536 Apr 28 05:38 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/document/README
rw-r--r-- 1590/1010 80919 Apr 28 05:38 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/document/guide.tex
rw-r--r-- 1590/1010 99876 Apr 28 05:38 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/document/guide.doc
rw-r--r-- 1590/1010 17644 Apr 28 05:38 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/document/whatsnew.tex
rw-r--r-- 1590/1010 21586 Apr 28 05:38 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/document/whatsnew.doc
rw-r--r-- 1590/1010 5093 Apr 28 05:38 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/document/guide.log
rw-r--r-- 1590/1010 9465 Apr 28 05:38 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/document/guide.aux
rw-r--r-- 1590/1010 113692 Apr 28 05:38 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/document/guide.dvi
rw-r--r-- 1590/1010 5621 Apr 28 05:38 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/document/guide.toc
rwxr-xr-x 1590/1010 0 Apr 28 05:38 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/test/
rw-r--r-- 1590/1010 4322 Apr 28 05:38 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/test/README
rw-r--r-- 1590/1010 1142 Apr 28 05:38 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/test/andrews.in
rw-r--r-- 1590/1010 2074 Apr 28 05:38 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/test/bool_ass.in
rw-r--r-- 1590/1010 832 Apr 28 05:38 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/test/cn.in
rw-r--r-- 1590/1010 2808 Apr 28 05:38 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/test/dem_alu.in
rw-r--r-- 1590/1010 1820 Apr 28 05:38 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/test/ec.in
rw-r--r-- 1590/1010 2705 Apr 28 05:38 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/test/eval.in
rw-r--r-- 1590/1010 639 Apr 28 05:38 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/test/grp_div.in
rw-r--r-- 1590/1010 1008 Apr 28 05:38 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/test/kb_bench.in
rw-r--r-- 1590/1010 737 Apr 28 05:38 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/test/kb_comm.in
rw-r--r-- 1590/1010 418 Apr 28 05:38 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/test/kb_group.in
rw-r--r-- 1590/1010 725 Apr 28 05:38 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/test/kb_x2_r.in
rw-r--r-- 1590/1010 556 Apr 28 05:38 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/test/lifsch.in
rw-r--r-- 1590/1010 1862 Apr 28 05:38 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/test/mission.in
rw-r--r-- 1590/1010 874 Apr 28 05:38 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/test/mv.in
rw-r--r-- 1590/1010 721 Apr 28 05:38 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/test/pigeon.in
rw-r--r-- 1590/1010 761 Apr 28 05:38 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/test/robbins.in
rwxr--r-- 1590/1010 75 Apr 28 05:38 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/test/run
rwxr--r-- 1590/1010 736 Apr 28 05:38 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/test/run_all
rw-r--r-- 1590/1010 1434 Apr 28 05:38 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/test/salt.in
rw-r--r-- 1590/1010 1281 Apr 28 05:38 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/test/sam_hyp.in
rw-r--r-- 1590/1010 1492 Apr 28 05:38 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/test/stage1.in
rw-r--r-- 1590/1010 2839 Apr 28 05:38 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/test/stage2.in
rw-r--r-- 1590/1010 2371 Apr 28 05:38 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/test/steam.in
rw-r--r-- 1590/1010 891 Apr 28 05:38 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/test/str_bws.in
rw-r--r-- 1590/1010 1107 Apr 28 05:38 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/test/andrews.stt
rw-r--r-- 1590/1010 1657 Apr 28 05:38 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/test/subgroup.in
rw-r--r-- 1590/1010 518 Apr 28 05:38 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/test/tba_gg.in
rw-r--r-- 1590/1010 468 Apr 28 05:38 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/test/w_sk.in
rw-r--r-- 1590/1010 1427 Apr 28 05:38 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/test/wang1.in
rw-r--r-- 1590/1010 563 Apr 28 05:38 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/test/x2_quant.in
rw-r--r-- 1590/1010 1138 Apr 28 05:38 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/test/z11.in
rw-r--r-- 1590/1010 1023 Apr 28 05:38 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/test/bool_ass.stt
rw-r--r-- 1590/1010 1049 Apr 28 05:38 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/test/cn.stt
rw-r--r-- 1590/1010 996 Apr 28 05:38 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/test/dem_alu.stt
rw-r--r-- 1590/1010 1049 Apr 28 05:38 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/test/ec.stt
rw-r--r-- 1590/1010 992 Apr 28 05:38 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/test/eval.stt
rw-r--r-- 1590/1010 1165 Apr 28 05:38 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/test/grp_div.stt
rw-r--r-- 1590/1010 1166 Apr 28 05:38 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/test/kb_bench.stt
rw-r--r-- 1590/1010 1165 Apr 28 05:38 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/test/kb_comm.stt
rw-r--r-- 1590/1010 1166 Apr 28 05:38 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/test/kb_group.stt
rw-r--r-- 1590/1010 1165 Apr 28 05:38 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/test/kb_x2_r.stt
rw-r--r-- 1590/1010 1079 Apr 28 05:38 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/test/lifsch.stt
rw-r--r-- 1590/1010 1021 Apr 28 05:38 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/test/mission.stt
rw-r--r-- 1590/1010 1016 Apr 28 05:38 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/test/mv.stt
rw-r--r-- 1590/1010 1020 Apr 28 05:38 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/test/pigeon.stt
rw-r--r-- 1590/1010 1165 Apr 28 05:38 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/test/robbins.stt
rw-r--r-- 1590/1010 1018 Apr 28 05:38 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/test/salt.stt
rw-r--r-- 1590/1010 1021 Apr 28 05:38 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/test/sam_hyp.stt
rw-r--r-- 1590/1010 1053 Apr 28 05:38 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/test/stage1.stt
rw-r--r-- 1590/1010 1020 Apr 28 05:38 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/test/stage2.stt
rw-r--r-- 1590/1010 1019 Apr 28 05:38 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/test/steam.stt
rw-r--r-- 1590/1010 1021 Apr 28 05:38 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/test/str_bws.stt
rw-r--r-- 1590/1010 1082 Apr 28 05:38 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/test/subgroup.stt
rw-r--r-- 1590/1010 1079 Apr 28 05:38 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/test/tba_gg.stt
rw-r--r-- 1590/1010 1018 Apr 28 05:38 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/test/w_sk.stt
rw-r--r-- 1590/1010 1255 Apr 28 05:38 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/test/wang1.stt
rw-r--r-- 1590/1010 1166 Apr 28 05:38 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/test/x2_quant.stt
rw-r--r-- 1590/1010 1161 Apr 28 05:38 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/test/z11.stt
rw-r--r-- 1590/1010 8427 Apr 28 05:38 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/test/eval.out
rw-r--r-- 1590/1010 16056 Apr 28 05:38 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/test/cn.out
rw-r--r-- 1590/1010 3173 Apr 28 05:38 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/README
rw-r--r-- 1590/1010 8701 Oct 7 14:06 1993 SEQUEL/FRAMEWORKS/SQOTTER/sequel-otter.tac
rw-r--r-- 1590/1010 639 Jan 20 08:49 1994 SEQUEL/FRAMEWORKS/SQOTTER/sqotter.fr
rw-r--r-- 1590/1010 1711 Apr 20 09:53 1993 SEQUEL/FRAMEWORKS/SQOTTER/sqotter.rew
rw-r--r-- 1590/1010 265 Feb 23 11:17 1993 SEQUEL/FRAMEWORKS/SQOTTER/problems
rw-r--r-- 1590/1010 95868 Oct 19 10:09 1993 SEQUEL/FRAMEWORKS/SQOTTER/sqotter.lisp
rw-r--r-- 1590/1010 76937 Oct 7 14:58 1993 SEQUEL/FRAMEWORKS/SQOTTER/sqotter.sbin
rw-r--r-- 1590/1010 534 Nov 9 09:15 1993 SEQUEL/FRAMEWORKS/SQOTTER/semantics
rwxr-sr-x 1590/1010 0 Dec 4 13:22 1993 SEQUEL/FRAMEWORKS/INDUCT/
rw-r--r-- 1590/1010 849 Aug 25 13:54 1993 SEQUEL/FRAMEWORKS/INDUCT/induct.tac
rw-r--r-- 1590/1010 281 Sep 21 09:18 1993 SEQUEL/FRAMEWORKS/INDUCT/induct.syntax
rw-r--r-- 1590/1010 4501 Nov 4 08:41 1993 SEQUEL/FRAMEWORKS/INDUCT/induct.axioms
rw-r--r-- 1590/1010 561 Jan 20 08:45 1994 SEQUEL/FRAMEWORKS/INDUCT/induct.fr
rw-r--r-- 1590/1010 71 Jul 16 06:29 1993 SEQUEL/FRAMEWORKS/INDUCT/induct.rew
rw-r--r-- 1590/1010 2564 Nov 4 06:59 1993 SEQUEL/FRAMEWORKS/INDUCT/lispdefs.rew
rwxr-sr-x 1590/1010 0 Apr 28 07:42 1993 SEQUEL/FRAMEWORKS/SETHEO/
rw-r--r-- 1590/1010 4264 Apr 28 06:54 1993 SEQUEL/FRAMEWORKS/SETHEO/setheo.info
rw-r--r-- 1590/1010 3016 Apr 23 10:38 1993 SEQUEL/FRAMEWORKS/SETHEO/README
rw-r--r-- 1590/1010 1499136 Apr 28 06:54 1993 SEQUEL/FRAMEWORKS/SETHEO/setheo.tar
rw-r--r-- 1590/1010 522 Apr 22 06:18 1993 SEQUEL/FRAMEWORKS/SETHEO/SETHEO.users.registration.form
rwxr-sr-x 1590/1010 0 Apr 22 08:01 1993 SEQUEL/FRAMEWORKS/SETHEO/bin.sun4/
rwxr--r-- 1590/1010 714 Apr 26 05:31 1993 SEQUEL/FRAMEWORKS/SETHEO/bin.sun4/clop
rwxr--r-- 1590/1010 139264 Apr 26 05:31 1993 SEQUEL/FRAMEWORKS/SETHEO/bin.sun4/inwasm
rwxr--r-- 1590/1010 81920 Apr 26 05:31 1993 SEQUEL/FRAMEWORKS/SETHEO/bin.sun4/sam
rwxr--r-- 1590/1010 697 Apr 26 05:31 1993 SEQUEL/FRAMEWORKS/SETHEO/bin.sun4/setheo
rwxr--r-- 1590/1010 73728 Apr 26 05:31 1993 SEQUEL/FRAMEWORKS/SETHEO/bin.sun4/wasm
rwxr--r-- 1590/1010 73728 Apr 26 05:31 1993 SEQUEL/FRAMEWORKS/SETHEO/bin.sun4/xptree
rwxr--r-- 1590/1010 475136 Apr 26 05:31 1993 SEQUEL/FRAMEWORKS/SETHEO/bin.sun4/xsetheo
rwxr--r-- 1590/1010 229376 Apr 26 05:31 1993 SEQUEL/FRAMEWORKS/SETHEO/bin.sun4/xsetheo.dyn
rw-r--r-- 1590/1010 2190 Apr 26 05:31 1993 SEQUEL/FRAMEWORKS/SETHEO/bin.sun4/xsetheo.icon
rwxr-sr-- 1590/1010 0 Apr 23 10:34 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/
rw-r--r-- 1590/1010 3465 Apr 22 11:23 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/ANA002-1.lop
rw-r--r-- 1590/1010 2483 Apr 22 11:23 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/COM001-1.lop
rw-r--r-- 1590/1010 2909 Apr 22 11:23 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/COM002-1.lop
rw-r--r-- 1590/1010 9386 Apr 22 11:23 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/GEO002-3.lop
rw-r--r-- 1590/1010 7284 Apr 22 11:23 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/GEO003-2.lop
rw-r--r-- 1590/1010 7289 Apr 22 11:23 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/GEO014-2.lop
rw-r--r-- 1590/1010 7288 Apr 22 11:23 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/GEO015-2.lop
rw-r--r-- 1590/1010 7287 Apr 22 11:23 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/GEO016-2.lop
rw-r--r-- 1590/1010 7404 Apr 22 11:23 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/GEO016-3.lop
rw-r--r-- 1590/1010 7467 Apr 22 11:23 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/GEO017-3.lop
rw-r--r-- 1590/1010 1590 Apr 22 11:23 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/GRP003-1.lop
rw-r--r-- 1590/1010 1525 Apr 22 11:23 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/GRP003-2.lop
rw-r--r-- 1590/1010 1691 Apr 22 11:23 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/GRP004-1.lop
rw-r--r-- 1590/1010 1634 Apr 22 11:23 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/GRP004-2.lop
rw-r--r-- 1590/1010 2749 Apr 22 11:23 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/GRP017-1.lop
rw-r--r-- 1590/1010 2690 Apr 22 11:23 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/GRP018-1.lop
rw-r--r-- 1590/1010 2690 Apr 22 11:23 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/GRP019-1.lop
rw-r--r-- 1590/1010 2716 Apr 22 11:23 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/HEN001-1.lop
rw-r--r-- 1590/1010 2691 Apr 22 11:23 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/HEN002-1.lop
rw-r--r-- 1590/1010 3279 Apr 22 11:23 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/HEN007-2.lop
rw-r--r-- 1590/1010 2770 Apr 22 11:23 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/HEN007-4.lop
rw-r--r-- 1590/1010 361 Apr 22 11:23 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/LCL010-1.lop
rw-r--r-- 1590/1010 361 Apr 22 11:23 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/LCL011-1.lop
rw-r--r-- 1590/1010 415 Apr 22 11:23 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/LCL046-1.lop
rw-r--r-- 1590/1010 319 Apr 22 11:23 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/LCL082-1.lop
rw-r--r-- 1590/1010 1271 Apr 22 11:23 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/MSC001-1.lop
rw-r--r-- 1590/1010 1571 Apr 22 11:23 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/MSC002-1.lop
rw-r--r-- 1590/1010 2090 Apr 22 11:23 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/MSC003-1.lop
rw-r--r-- 1590/1010 2108 Apr 22 11:23 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/MSC004-1.lop
rw-r--r-- 1590/1010 350 Apr 22 11:23 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/MSC006-1.lop
rw-r--r-- 1590/1010 5419 Apr 22 11:23 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/MSC010-1.lop
rw-r--r-- 1590/1010 8628 Apr 22 11:23 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/MSC011-1.lop
rw-r--r-- 1590/1010 2432 Apr 22 11:23 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/NUM001-1.lop
rw-r--r-- 1590/1010 2443 Apr 22 11:23 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/NUM002-1.lop
rw-r--r-- 1590/1010 1632 Apr 22 11:23 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/NUM014-1.lop
rw-r--r-- 1590/1010 2690 Apr 22 11:23 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/PLA001-1.lop
rw-r--r-- 1590/1010 2647 Apr 22 11:23 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/PLA003-1.lop
rw-r--r-- 1590/1010 2362 Apr 22 11:23 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/PRV001-1.lop
rw-r--r-- 1590/1010 3207 Apr 22 11:23 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/PRV002-1.lop
rw-r--r-- 1590/1010 2884 Apr 22 11:23 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/PUZ001-1.lop
rw-r--r-- 1590/1010 3782 Apr 22 11:23 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/PUZ001-2.lop
rw-r--r-- 1590/1010 2539 Apr 22 11:23 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/PUZ002-1.lop
rw-r--r-- 1590/1010 1834 Apr 22 11:23 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/PUZ003-1.lop
rw-r--r-- 1590/1010 14214 Apr 22 11:23 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/PUZ010-1.lop
rw-r--r-- 1590/1010 2711 Apr 22 11:23 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/PUZ011-1.lop
rw-r--r-- 1590/1010 2739 Apr 22 11:23 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/PUZ012-1.lop
rw-r--r-- 1590/1010 4253 Apr 22 11:23 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/PUZ023-1.lop
rw-r--r-- 1590/1010 4575 Apr 22 11:23 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/PUZ031-1.lop
rw-r--r-- 1590/1010 2076 Apr 22 11:23 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/PUZ036-1.lop
rw-r--r-- 1590/1010 2122 Apr 22 11:23 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/ROB002-1.lop
rw-r--r-- 1590/1010 1813 Apr 22 11:23 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/ROB010-1.lop
rw-r--r-- 1590/1010 1813 Apr 22 11:23 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/ROB013-1.lop
rw-r--r-- 1590/1010 2037 Apr 22 11:23 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/SET001-1.lop
rw-r--r-- 1590/1010 2713 Apr 22 11:23 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/SET002-1.lop
rw-r--r-- 1590/1010 2741 Apr 22 11:23 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/SET003-1.lop
rw-r--r-- 1590/1010 3925 Apr 22 11:23 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/SET007-1.lop
rw-r--r-- 1590/1010 3994 Apr 22 11:23 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/SET008-1.lop
rw-r--r-- 1590/1010 2939 Apr 22 11:23 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/SET009-1.lop
rw-r--r-- 1590/1010 4096 Apr 22 11:23 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/SET011-1.lop
rw-r--r-- 1590/1010 1497 Apr 23 10:34 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/COM001-1.out
rw-r--r-- 1590/1010 1576 Apr 23 10:34 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/COM002-1.out
rw-r--r-- 1590/1010 1838 Apr 23 10:34 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/GEO002-3.out
rw-r--r-- 1590/1010 1832 Apr 23 10:34 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/GEO003-2.out
rw-r--r-- 1590/1010 1758 Apr 23 10:34 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/GEO014-2.out
rw-r--r-- 1590/1010 1758 Apr 23 10:34 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/GEO015-2.out
rw-r--r-- 1590/1010 1758 Apr 23 10:34 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/GEO016-2.out
rw-r--r-- 1590/1010 1761 Apr 23 10:34 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/GEO016-3.out
rw-r--r-- 1590/1010 1764 Apr 23 10:34 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/GEO017-3.out
rw-r--r-- 1590/1010 1496 Apr 23 10:34 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/GRP003-1.out
rw-r--r-- 1590/1010 1496 Apr 23 10:34 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/GRP003-2.out
rw-r--r-- 1590/1010 1496 Apr 23 10:34 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/GRP004-1.out
rw-r--r-- 1590/1010 1496 Apr 23 10:34 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/GRP004-2.out
rw-r--r-- 1590/1010 1498 Apr 23 10:34 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/GRP017-1.out
rw-r--r-- 1590/1010 1340 Apr 23 10:34 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/GRP018-1.out
rw-r--r-- 1590/1010 1498 Apr 23 10:34 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/GRP019-1.out
rw-r--r-- 1590/1010 1232 Apr 23 10:34 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/HEN001-1.out
rw-r--r-- 1590/1010 1184 Apr 23 10:34 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/HEN002-1.out
rw-r--r-- 1590/1010 1570 Apr 23 10:34 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/HEN007-2.out
rw-r--r-- 1590/1010 1640 Apr 23 10:34 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/HEN007-4.out
rw-r--r-- 1590/1010 1488 Apr 23 10:34 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/LCL010-1.out
rw-r--r-- 1590/1010 1779 Apr 23 10:34 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/LCL011-1.out
rw-r--r-- 1590/1010 1496 Apr 23 10:34 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/LCL046-1.out
rw-r--r-- 1590/1010 1779 Apr 23 10:34 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/LCL082-1.out
rw-r--r-- 1590/1010 1301 Apr 23 10:34 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/MSC001-1.out
rw-r--r-- 1590/1010 1818 Apr 23 10:34 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/MSC002-1.out
rw-r--r-- 1590/1010 1680 Apr 23 10:34 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/MSC003-1.out
rw-r--r-- 1590/1010 1895 Apr 23 10:34 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/MSC004-1.out
rw-r--r-- 1590/1010 1903 Apr 23 10:34 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/MSC006-1.out
rw-r--r-- 1590/1010 2227 Apr 23 10:34 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/MSC010-1.out
rw-r--r-- 1590/1010 1569 Apr 23 10:34 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/NUM001-1.out
rw-r--r-- 1590/1010 1498 Apr 23 10:34 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/NUM002-1.out
rw-r--r-- 1590/1010 1566 Apr 23 10:34 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/NUM014-1.out
rw-r--r-- 1590/1010 1562 Apr 23 10:34 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/PLA001-1.out
rw-r--r-- 1590/1010 1781 Apr 23 10:34 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/PLA003-1.out
rw-r--r-- 1590/1010 1822 Apr 23 10:34 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/PRV001-1.out
rw-r--r-- 1590/1010 1717 Apr 23 10:34 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/PRV002-1.out
rw-r--r-- 1590/1010 1436 Apr 23 10:34 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/PUZ001-1.out
rw-r--r-- 1590/1010 1856 Apr 23 10:34 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/PUZ001-2.out
rw-r--r-- 1590/1010 1815 Apr 23 10:34 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/PUZ002-1.out
rw-r--r-- 1590/1010 1638 Apr 23 10:34 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/PUZ003-1.out
rw-r--r-- 1590/1010 1568 Apr 23 10:34 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/PUZ010-1.out
rw-r--r-- 1590/1010 1459 Apr 23 10:34 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/PUZ011-1.out
rw-r--r-- 1590/1010 1604 Apr 23 10:34 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/PUZ012-1.out
rw-r--r-- 1590/1010 2062 Apr 23 10:34 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/PUZ023-1.out
rw-r--r-- 1590/1010 1759 Apr 23 10:34 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/PUZ031-1.out
rw-r--r-- 1590/1010 1860 Apr 23 10:34 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/PUZ036-1.out
rw-r--r-- 1590/1010 1639 Apr 23 10:34 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/ROB002-1.out
rw-r--r-- 1590/1010 1710 Apr 23 10:34 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/ROB010-1.out
rw-r--r-- 1590/1010 1710 Apr 23 10:34 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/ROB013-1.out
rw-r--r-- 1590/1010 1262 Apr 23 10:34 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/SET001-1.out
rw-r--r-- 1590/1010 1750 Apr 23 10:34 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/SET002-1.out
rw-r--r-- 1590/1010 1679 Apr 23 10:34 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/SET003-1.out
rw-r--r-- 1590/1010 1862 Apr 23 10:34 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/SET007-1.out
rw-r--r-- 1590/1010 1649 Apr 23 10:34 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/SET008-1.out
rw-r--r-- 1590/1010 1754 Apr 23 10:34 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/SET009-1.out
rw-r--r-- 1590/1010 1792 Apr 23 10:34 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/SET011-1.out
rwxr-sr-- 1590/1010 0 Apr 22 08:07 1993 SEQUEL/FRAMEWORKS/SETHEO/manpages/
rw-r--r-- 1590/1010 773 Apr 22 06:14 1993 SEQUEL/FRAMEWORKS/SETHEO/manpages/clop.1
rw-r--r-- 1590/1010 3267 Apr 22 06:14 1993 SEQUEL/FRAMEWORKS/SETHEO/manpages/inwasm.1
rw-r--r-- 1590/1010 2634 Apr 23 09:56 1993 SEQUEL/FRAMEWORKS/SETHEO/manpages/sam.1
rw-r--r-- 1590/1010 1188 Apr 22 06:14 1993 SEQUEL/FRAMEWORKS/SETHEO/manpages/setheo.1
rw-r--r-- 1590/1010 721 Apr 22 06:14 1993 SEQUEL/FRAMEWORKS/SETHEO/manpages/wasm.1
r--r--r-- 1590/1010 4325 Apr 22 06:14 1993 SEQUEL/FRAMEWORKS/SETHEO/manpages/xsetheo.1
rw-r--r-- 1590/1010 0 Apr 22 08:06 1993 SEQUEL/FRAMEWORKS/SETHEO/manpages/xptree.1
rw-r--r-- 1590/1010 0 Apr 22 08:07 1993 SEQUEL/FRAMEWORKS/SETHEO/manpages/lop.syntax
rwxr-sr-x 1590/1010 0 Aug 23 09:48 1993 SEQUEL/FRAMEWORKS/STLC/
rw-r--r-- 1590/1010 386 May 20 06:26 1993 SEQUEL/FRAMEWORKS/STLC/stlc.syntax
rw-r--r-- 1590/1010 320 Aug 23 09:48 1993 SEQUEL/FRAMEWORKS/STLC/stlc.axioms
rw-r--r-- 1590/1010 340 Jan 20 08:49 1994 SEQUEL/FRAMEWORKS/STLC/stlc.fr
rw-r--r-- 1590/1010 890 Aug 23 09:50 1993 SEQUEL/FRAMEWORKS/STLC/stlc.doc
rwxr-sr-x 1590/1010 0 Jan 25 16:22 1994 SEQUEL/FRAMEWORKS/TT0/
rw-r--r-- 1590/1010 54 Jul 23 10:09 1993 SEQUEL/FRAMEWORKS/TT0/tt0.rew
rw-r--r-- 1590/1010 3456 Aug 23 09:36 1993 SEQUEL/FRAMEWORKS/TT0/tt0.doc
rw-r--r-- 1590/1010 776 Jan 20 08:49 1994 SEQUEL/FRAMEWORKS/TT0/tt0.fr
rw-r--r-- 1590/1010 3285 Jan 21 12:01 1994 SEQUEL/FRAMEWORKS/TT0/tt0.axioms
rw-r--r-- 1590/1010 1411 Aug 18 13:15 1993 SEQUEL/FRAMEWORKS/TT0/tt0.syntax
rw------- 1590/1010 147 Jan 25 16:22 1994 SEQUEL/FRAMEWORKS/TT0/README
rw-r--r-- 1590/1010 1043 Aug 18 13:22 1993 SEQUEL/FRAMEWORKS/TT0/tt0.ext
rw-r--r-- 1590/1010 196 Jul 23 10:07 1993 SEQUEL/FRAMEWORKS/TT0/prim
rwxr-sr-- 1590/1010 0 Nov 1 11:50 1993 SEQUEL/FRAMEWORKS/TT0/PROOFS/
rw-r--r-- 1590/1010 3880 Jul 19 15:07 1993 SEQUEL/FRAMEWORKS/TT0/PROOFS/Q1
rw-r--r-- 1590/1010 1076 Jul 19 15:10 1993 SEQUEL/FRAMEWORKS/TT0/PROOFS/Q2
rw-r--r-- 1590/1010 3809 Jul 19 15:19 1993 SEQUEL/FRAMEWORKS/TT0/PROOFS/Q3
rw-r--r-- 1590/1010 5216 Jul 19 15:29 1993 SEQUEL/FRAMEWORKS/TT0/PROOFS/Q4
rw-r--r-- 1590/1010 12782 Jul 19 14:40 1993 SEQUEL/FRAMEWORKS/TT0/PROOFS/gt
rw-r--r-- 1590/1010 10070 Jul 19 14:40 1993 SEQUEL/FRAMEWORKS/TT0/PROOFS/less
rw-r--r-- 1590/1010 560 Nov 1 11:50 1993 SEQUEL/FRAMEWORKS/TT0/PROOFS/texput.log
rw-r--r-- 1590/1010 104 Sep 21 06:38 1993 SEQUEL/FRAMEWORKS/TT0/tt0.tac
rwxr-sr-x 1590/1010 0 Sep 27 07:01 1993 SEQUEL/FRAMEWORKS/FUZZY/
rw-r--r-- 1590/1010 415 Jan 20 08:45 1994 SEQUEL/FRAMEWORKS/FUZZY/fuzzy.fr
rw-r--r-- 1590/1010 934 Sep 24 14:25 1993 SEQUEL/FRAMEWORKS/FUZZY/fuzzy.syntax
rw-r--r-- 1590/1010 96 Sep 24 13:19 1993 SEQUEL/FRAMEWORKS/FUZZY/fuzzy.external-syntax
rw-r--r-- 1590/1010 627 Sep 24 14:22 1993 SEQUEL/FRAMEWORKS/FUZZY/fuzzy.rew
rw-r--r-- 1590/1010 31 Sep 27 07:01 1993 SEQUEL/FRAMEWORKS/FUZZY/README
rw-r--r-- 1590/1010 806 Sep 27 06:50 1993 SEQUEL/FRAMEWORKS/FUZZY/fuzzy.axioms
rwxr-sr-x 1590/1010 0 Oct 16 07:10 1993 SEQUEL/FRAMEWORKS/TRANS/
rw-r--r-- 1590/1010 4578 Aug 23 05:08 1993 SEQUEL/FRAMEWORKS/TRANS/dp
rw-r--r-- 1590/1010 4804 Oct 16 07:34 1993 SEQUEL/FRAMEWORKS/TRANS/trans.axioms
rwxr-xr-x 1590/1010 0 Jan 31 11:05 1994 SEQUEL/LIB/
rw-r--r-- 1590/1010 7451 Jan 19 06:52 1994 SEQUEL/LIB/autoprove.lisp
rw-r--r-- 1590/1010 8051 Jan 19 07:07 1994 SEQUEL/LIB/install.lucid
rw-r--r-- 1590/1010 8267 Jan 19 06:53 1994 SEQUEL/LIB/cmu-code.lisp
rw-r--r-- 1590/1010 6217 Jan 19 07:06 1994 SEQUEL/LIB/install.cmu
rw-r--r-- 1590/1010 10380 Jan 21 06:30 1994 SEQUEL/LIB/consult.lisp
rw-r--r-- 1590/1010 5418 Jan 19 07:08 1994 SEQUEL/LIB/kcl-code.lisp
rw-r--r-- 1590/1010 7219 Jan 19 06:54 1994 SEQUEL/LIB/dr.lisp
rw-r--r-- 1590/1010 6798 Jan 19 07:07 1994 SEQUEL/LIB/install.kcl
rw-r--r-- 1590/1010 2584 Jan 19 06:55 1994 SEQUEL/LIB/err.lisp
rw-r--r-- 1590/1010 21843 Jan 19 06:56 1994 SEQUEL/LIB/frameworks.lisp
rw------- 1590/1010 424166 Jan 19 11:29 1994 SEQUEL/LIB/xtt.lisp
rw-r--r-- 1590/1010 40933 Jan 19 07:05 1994 SEQUEL/LIB/horn-compiler.lisp
rw-r--r-- 1590/1010 5966 Jan 19 07:09 1994 SEQUEL/LIB/ll.lisp
rw-r--r-- 1590/1010 2537 Jan 19 07:09 1994 SEQUEL/LIB/options.lisp
rw-r--r-- 1590/1010 53223 Jan 21 09:46 1994 SEQUEL/LIB/phi.lisp
rw-r--r-- 1590/1010 5053 Jan 19 07:11 1994 SEQUEL/LIB/proof-types.lisp
rw------- 1590/1010 9 Nov 19 07:41 1993 SEQUEL/LIB/start.lisp
rw-r--r-- 1590/1010 35339 Jan 20 06:42 1994 SEQUEL/LIB/sequel.lisp
rw------- 1590/1010 5445 Jan 19 07:06 1994 SEQUEL/LIB/install.clisp
rw------- 1590/1010 35 Nov 19 10:11 1993 SEQUEL/LIB/sequel.bat
rw-r--r-- 1590/1010 34276 Jan 19 07:12 1994 SEQUEL/LIB/prooftool.lisp
rw-r--r-- 1590/1010 2844 Jan 19 07:12 1994 SEQUEL/LIB/readtable.lisp
rw-r--r-- 1590/1010 4141 Jan 19 07:13 1994 SEQUEL/LIB/rewrite.lisp
rw-r--r-- 1590/1010 24210 Jan 19 11:30 1994 SEQUEL/LIB/settings.lisp
rw-r--r-- 1590/1010 31426 Jan 21 06:19 1994 SEQUEL/LIB/toplevel.lisp
rw-r--r-- 1590/1010 13083 Jan 19 07:15 1994 SEQUEL/LIB/trace.lisp
rw-r--r-- 1590/1010 12352 Jan 19 07:15 1994 SEQUEL/LIB/typechecker.lisp
rw-r--r-- 1590/1010 49080 Jan 19 07:16 1994 SEQUEL/LIB/usertypes.lisp
rw-r--r-- 1590/1010 37110 Jan 19 07:17 1994 SEQUEL/LIB/windows.c
rw-r--r-- 1590/1010 2440 Jan 19 06:51 1994 SEQUEL/LIB/copyright
rw-r--r-- 1590/1010 10219 Jan 19 06:55 1994 SEQUEL/LIB/env.lisp
rw-rw-rw- 1590/1010 22037 Jan 19 07:18 1994 SEQUEL/LIB/windows.lisp
rw------- 1590/1010 4398 Jan 19 06:52 1994 SEQUEL/LIB/clisp-code.lisp
rw------- 1590/1010 5045 Jan 19 07:10 1994 SEQUEL/LIB/pc-install.lisp
rwx------ 1590/1010 0 Jan 19 06:50 1994 SEQUEL/DOC/
rw------- 1590/1010 986243 Jan 19 06:50 1994 SEQUEL/DOC/manual.ps
rw------- 1590/1010 3836 Jan 21 07:25 1994 SEQUEL/DOC/updates
rw------- 1590/1010 2400 Jan 21 07:24 1994 SEQUEL/DOC/bugs
rw------- 1590/1010 216434 Jul 29 09:23 1993 SEQUEL/DOC/intro.ps