-
Notifications
You must be signed in to change notification settings - Fork 0
/
sequel53.ltv
465 lines (465 loc) · 39.2 KB
/
sequel53.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
459
460
461
462
463
464
465
rwxr-xr-x 1590/1010 0 Aug 24 11:35 1993 SEQUEL/
rw------- 1590/1010 6053 Aug 26 05:58 1993 SEQUEL/readme
rw------- 1590/1010 2455 Jul 29 09:39 1993 SEQUEL/copyright
rwxr-sr-x 1590/1010 0 Sep 24 13:14 1993 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 722 Apr 26 07:57 1993 SEQUEL/FRAMEWORKS/FOL/fol.fr
rw-r--r-- 1590/1010 4601 Apr 15 09:28 1993 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 1147 Mar 27 14:22 1993 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 Apr 20 09:20 1993 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 1446 Apr 7 05:20 1993 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------- 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 897 Apr 23 06:50 1993 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 1082 Apr 23 07:10 1993 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------- 1590/1010 1227 Apr 30 06:48 1993 SEQUEL/FRAMEWORKS/MODAL/modal.syntax
rw------- 1590/1010 251 May 3 07:14 1993 SEQUEL/FRAMEWORKS/MODAL/modal.rew
rw------- 1590/1010 756 May 10 10:57 1993 SEQUEL/FRAMEWORKS/MODAL/S4.fr
rw------- 1590/1010 850 May 10 10:57 1993 SEQUEL/FRAMEWORKS/MODAL/S5.fr
rw------- 1590/1010 416 May 3 07:25 1993 SEQUEL/FRAMEWORKS/MODAL/system-t.axioms
rw------- 1590/1010 817 Apr 30 06:33 1993 SEQUEL/FRAMEWORKS/MODAL/modal.external-syntax
rw------- 1590/1010 704 May 10 10:56 1993 SEQUEL/FRAMEWORKS/MODAL/SYSTEM_T.fr
rw------- 1590/1010 659 Apr 30 07:19 1993 SEQUEL/FRAMEWORKS/MODAL/proof1
rw------- 1590/1010 1219 Apr 30 07:07 1993 SEQUEL/FRAMEWORKS/MODAL/proof2
rw------- 1590/1010 73 Apr 30 07:22 1993 SEQUEL/FRAMEWORKS/MODAL/m2-rules
rw------- 1590/1010 96 May 3 07:15 1993 SEQUEL/FRAMEWORKS/MODAL/modal.tac
rw------- 1590/1010 124 May 3 07:20 1993 SEQUEL/FRAMEWORKS/MODAL/S4.axioms
rw------- 1590/1010 124 May 3 07:22 1993 SEQUEL/FRAMEWORKS/MODAL/S5.axioms
rw------- 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 454 Apr 7 05:29 1993 SEQUEL/FRAMEWORKS/INT/int.fr
rw------- 1590/1010 1063 Apr 7 06:09 1993 SEQUEL/FRAMEWORKS/INT/int.doc
rwxr-sr-x 1590/1010 0 Aug 23 09:35 1993 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------- 1590/1010 71575 Apr 28 05:37 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/source/formula.c
rw------- 1590/1010 6352 Apr 28 05:37 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/source/fpa.o
rw------- 1590/1010 5640 Apr 28 05:37 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/source/imd.o
rw------- 1590/1010 6848 Apr 28 05:37 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/source/main.o
rw------- 1590/1010 19404 Apr 28 05:37 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/source/resolve.o
rw------- 1590/1010 50045 Apr 28 05:37 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/source/av.c
rw------- 1590/1010 23340 Apr 28 05:37 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/source/clause.o
rw------- 1590/1010 3889 Apr 28 05:37 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/source/clocks.c
rw------- 1590/1010 11068 Apr 28 05:37 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/source/cos.h
rw------- 1590/1010 29786 Apr 28 05:37 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/source/demod.c
rw------- 1590/1010 12737 Apr 28 05:37 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/source/formed.h
rw------- 1590/1010 4576 Apr 28 05:37 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/source/formed.in
rw------- 1590/1010 22050 Apr 28 05:37 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/source/fpa.c
rw------- 1590/1010 11576 Apr 28 05:37 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/source/header.h
rw------- 1590/1010 8752 Apr 28 05:37 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/source/index.c
rw------- 1590/1010 35406 Apr 28 05:37 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/source/io.c
rw------- 1590/1010 12130 Apr 28 05:37 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/source/is.c
rw------- 1590/1010 740 Apr 28 05:37 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/source/linkhyp.c
rw------- 1590/1010 72526 Apr 28 05:37 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/source/linkur.c
rw------- 1590/1010 8888 Apr 28 05:37 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/source/lrpo.c
rw------- 1590/1010 2955 Apr 28 05:37 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/source/macros.h
rw------- 1590/1010 1330 Apr 28 05:37 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/source/makefile
rw------- 1590/1010 20730 Apr 28 05:37 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/source/options.c
rwx------ 1590/1010 221184 Apr 28 05:37 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/source/otter
rw------- 1590/1010 12285 Apr 28 05:37 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/source/process.c
rw------- 1590/1010 8872 Apr 28 05:37 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/source/proto.h
rw------- 1590/1010 15252 Apr 28 05:37 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/source/share.c
rw------- 1590/1010 7588 Apr 28 05:37 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/source/share.o
rw------- 1590/1010 21469 Apr 28 05:37 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/source/weight.c
rw------- 1590/1010 48728 Apr 28 05:37 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/source/misc.o
rw------- 1590/1010 8670 Apr 28 05:37 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/source/types.h
rw------- 1590/1010 29600 Apr 28 05:37 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/source/av.o
rw------- 1590/1010 56899 Apr 28 05:37 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/source/callbacks.c
rw------- 1590/1010 17592 Apr 28 05:37 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/source/demod.o
rw------- 1590/1010 203 Apr 28 05:37 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/source/README.ROO
rw------- 1590/1010 900 Apr 28 05:37 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/source/clocks.o
rw------- 1590/1010 18228 Apr 28 05:37 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/source/options.o
rw------- 1590/1010 29532 Apr 28 05:37 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/source/formula.o
rw------- 1590/1010 5368 Apr 28 05:37 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/source/index.o
rw------- 1590/1010 11106 Apr 28 05:37 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/source/paramod.c
rw------- 1590/1010 21808 Apr 28 05:37 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/source/io.o
rw------- 1590/1010 4244 Apr 28 05:37 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/source/is.o
rw------- 1590/1010 12425 Apr 28 05:37 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/source/unify.c
rw------- 1590/1010 29203 Apr 28 05:37 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/source/display.c
rw------- 1590/1010 9232 Apr 28 05:37 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/source/weight.o
rw------- 1590/1010 1018 Apr 28 05:37 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/source/README.FOR
rw------- 1590/1010 188 Apr 28 05:37 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/source/linkhyp.o
rw------- 1590/1010 22878 Apr 28 05:37 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/source/formed.c
rw------- 1590/1010 7020 Apr 28 05:37 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/source/paramod.o
rw------- 1590/1010 3724 Apr 28 05:37 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/source/unify.o
rw------- 1590/1010 18032 Apr 28 05:37 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/source/process.o
rw------- 1590/1010 9042 Apr 28 05:37 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/source/help_str.h
rw------- 1590/1010 12898 Apr 28 05:37 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/source/imd.c
rw------- 1590/1010 32425 Apr 28 05:37 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/source/resolve.c
rw------- 1590/1010 3248 Apr 28 05:37 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/source/lrpo.o
rw------- 1590/1010 6553 Apr 28 05:37 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/source/main.c
rw------- 1590/1010 24376 Apr 28 05:37 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/source/linkur.o
rw------- 1590/1010 1256 Apr 28 05:37 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/source/README.MAC
rw------- 1590/1010 1721 Apr 28 05:37 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/source/README.PC
rw------- 1590/1010 1152 Apr 28 05:37 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/source/README.UNX
rw------- 1590/1010 45701 Apr 28 05:37 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/source/clause.c
rw------- 1590/1010 1504 Apr 28 05:37 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/source/makefile.for
rw------- 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------- 1590/1010 37 Apr 28 05:37 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/misc/libs.rsp
rw------- 1590/1010 1174 Apr 28 05:37 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/misc/README
rw------- 1590/1010 2205 Apr 28 05:37 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/misc/README.ATP
rwx------ 1590/1010 152 Apr 28 05:37 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/misc/to_dos
rwx------ 1590/1010 150 Apr 28 05:37 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/misc/to_unix
rw------- 1590/1010 452 Apr 28 05:37 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/misc/makefile.tbo
rw------- 1590/1010 262 Apr 28 05:37 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/misc/objs.rsp
rw------- 1590/1010 901 Apr 28 05:37 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/misc/run_all.bat
rwx------ 1590/1010 75 Apr 28 05:37 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/misc/run
rwx------ 1590/1010 736 Apr 28 05:37 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/misc/run_all
rw------- 1590/1010 1330 Apr 28 05:37 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/misc/makefile.unx
rwx------ 1590/1010 220656 Apr 28 05:38 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/misc/otter.exe
rw------- 1590/1010 946 Apr 28 05:38 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/misc/run_32.bat
rwx------ 1590/1010 206846 Apr 28 05:38 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/misc/otter_32.exe
rw------- 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------- 1590/1010 536 Apr 28 05:38 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/document/README
rw------- 1590/1010 80919 Apr 28 05:38 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/document/guide.tex
rw------- 1590/1010 99876 Apr 28 05:38 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/document/guide.doc
rw------- 1590/1010 17644 Apr 28 05:38 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/document/whatsnew.tex
rw------- 1590/1010 21586 Apr 28 05:38 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/document/whatsnew.doc
rw------- 1590/1010 5093 Apr 28 05:38 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/document/guide.log
rw------- 1590/1010 9465 Apr 28 05:38 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/document/guide.aux
rw------- 1590/1010 113692 Apr 28 05:38 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/document/guide.dvi
rw------- 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------- 1590/1010 4322 Apr 28 05:38 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/test/README
rw------- 1590/1010 1142 Apr 28 05:38 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/test/andrews.in
rw------- 1590/1010 2074 Apr 28 05:38 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/test/bool_ass.in
rw------- 1590/1010 832 Apr 28 05:38 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/test/cn.in
rw------- 1590/1010 2808 Apr 28 05:38 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/test/dem_alu.in
rw------- 1590/1010 1820 Apr 28 05:38 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/test/ec.in
rw------- 1590/1010 2705 Apr 28 05:38 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/test/eval.in
rw------- 1590/1010 639 Apr 28 05:38 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/test/grp_div.in
rw------- 1590/1010 1008 Apr 28 05:38 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/test/kb_bench.in
rw------- 1590/1010 737 Apr 28 05:38 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/test/kb_comm.in
rw------- 1590/1010 418 Apr 28 05:38 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/test/kb_group.in
rw------- 1590/1010 725 Apr 28 05:38 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/test/kb_x2_r.in
rw------- 1590/1010 556 Apr 28 05:38 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/test/lifsch.in
rw------- 1590/1010 1862 Apr 28 05:38 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/test/mission.in
rw------- 1590/1010 874 Apr 28 05:38 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/test/mv.in
rw------- 1590/1010 721 Apr 28 05:38 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/test/pigeon.in
rw------- 1590/1010 761 Apr 28 05:38 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/test/robbins.in
rwx------ 1590/1010 75 Apr 28 05:38 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/test/run
rwx------ 1590/1010 736 Apr 28 05:38 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/test/run_all
rw------- 1590/1010 1434 Apr 28 05:38 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/test/salt.in
rw------- 1590/1010 1281 Apr 28 05:38 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/test/sam_hyp.in
rw------- 1590/1010 1492 Apr 28 05:38 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/test/stage1.in
rw------- 1590/1010 2839 Apr 28 05:38 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/test/stage2.in
rw------- 1590/1010 2371 Apr 28 05:38 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/test/steam.in
rw------- 1590/1010 891 Apr 28 05:38 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/test/str_bws.in
rw------- 1590/1010 1107 Apr 28 05:38 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/test/andrews.stt
rw------- 1590/1010 1657 Apr 28 05:38 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/test/subgroup.in
rw------- 1590/1010 518 Apr 28 05:38 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/test/tba_gg.in
rw------- 1590/1010 468 Apr 28 05:38 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/test/w_sk.in
rw------- 1590/1010 1427 Apr 28 05:38 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/test/wang1.in
rw------- 1590/1010 563 Apr 28 05:38 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/test/x2_quant.in
rw------- 1590/1010 1138 Apr 28 05:38 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/test/z11.in
rw------- 1590/1010 1023 Apr 28 05:38 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/test/bool_ass.stt
rw------- 1590/1010 1049 Apr 28 05:38 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/test/cn.stt
rw------- 1590/1010 996 Apr 28 05:38 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/test/dem_alu.stt
rw------- 1590/1010 1049 Apr 28 05:38 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/test/ec.stt
rw------- 1590/1010 992 Apr 28 05:38 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/test/eval.stt
rw------- 1590/1010 1165 Apr 28 05:38 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/test/grp_div.stt
rw------- 1590/1010 1166 Apr 28 05:38 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/test/kb_bench.stt
rw------- 1590/1010 1165 Apr 28 05:38 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/test/kb_comm.stt
rw------- 1590/1010 1166 Apr 28 05:38 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/test/kb_group.stt
rw------- 1590/1010 1165 Apr 28 05:38 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/test/kb_x2_r.stt
rw------- 1590/1010 1079 Apr 28 05:38 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/test/lifsch.stt
rw------- 1590/1010 1021 Apr 28 05:38 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/test/mission.stt
rw------- 1590/1010 1016 Apr 28 05:38 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/test/mv.stt
rw------- 1590/1010 1020 Apr 28 05:38 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/test/pigeon.stt
rw------- 1590/1010 1165 Apr 28 05:38 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/test/robbins.stt
rw------- 1590/1010 1018 Apr 28 05:38 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/test/salt.stt
rw------- 1590/1010 1021 Apr 28 05:38 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/test/sam_hyp.stt
rw------- 1590/1010 1053 Apr 28 05:38 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/test/stage1.stt
rw------- 1590/1010 1020 Apr 28 05:38 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/test/stage2.stt
rw------- 1590/1010 1019 Apr 28 05:38 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/test/steam.stt
rw------- 1590/1010 1021 Apr 28 05:38 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/test/str_bws.stt
rw------- 1590/1010 1082 Apr 28 05:38 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/test/subgroup.stt
rw------- 1590/1010 1079 Apr 28 05:38 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/test/tba_gg.stt
rw------- 1590/1010 1018 Apr 28 05:38 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/test/w_sk.stt
rw------- 1590/1010 1255 Apr 28 05:38 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/test/wang1.stt
rw------- 1590/1010 1166 Apr 28 05:38 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/test/x2_quant.stt
rw------- 1590/1010 1161 Apr 28 05:38 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/test/z11.stt
rw------- 1590/1010 8427 Apr 28 05:38 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/test/eval.out
rw------- 1590/1010 16056 Apr 28 05:38 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/test/cn.out
rw------- 1590/1010 3173 Apr 28 05:38 1993 SEQUEL/FRAMEWORKS/SQOTTER/otter22/README
rw-r--r-- 1590/1010 8645 Aug 23 05:26 1993 SEQUEL/FRAMEWORKS/SQOTTER/sequel-otter.tac
rw-r--r-- 1590/1010 630 Apr 23 06:26 1993 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 95862 Aug 23 05:35 1993 SEQUEL/FRAMEWORKS/SQOTTER/sqotter.lisp
rw------- 1590/1010 76848 Aug 23 05:35 1993 SEQUEL/FRAMEWORKS/SQOTTER/sqotter.sbin
rwxr-sr-x 1590/1010 0 Sep 22 07:10 1993 SEQUEL/FRAMEWORKS/INDUCT/
rw------- 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 2191 Sep 21 10:56 1993 SEQUEL/FRAMEWORKS/INDUCT/induct.axioms
rw-r--r-- 1590/1010 567 Aug 25 13:37 1993 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 6037 Jul 21 09:01 1993 SEQUEL/FRAMEWORKS/INDUCT/lispdefs.rew
rwxr-sr-x 1590/1010 0 Apr 28 07:42 1993 SEQUEL/FRAMEWORKS/SETHEO/
rw------- 1590/1010 4264 Apr 28 06:54 1993 SEQUEL/FRAMEWORKS/SETHEO/setheo.info
rw------- 1590/1010 3016 Apr 23 10:38 1993 SEQUEL/FRAMEWORKS/SETHEO/README
rw------- 1590/1010 1499136 Apr 28 06:54 1993 SEQUEL/FRAMEWORKS/SETHEO/setheo.tar
rw------- 1590/1010 522 Apr 22 06:18 1993 SEQUEL/FRAMEWORKS/SETHEO/SETHEO.users.registration.form
rwx--s--x 1590/1010 0 Apr 22 08:01 1993 SEQUEL/FRAMEWORKS/SETHEO/bin.sun4/
rwx------ 1590/1010 714 Apr 26 05:31 1993 SEQUEL/FRAMEWORKS/SETHEO/bin.sun4/clop
rwx------ 1590/1010 139264 Apr 26 05:31 1993 SEQUEL/FRAMEWORKS/SETHEO/bin.sun4/inwasm
rwx------ 1590/1010 81920 Apr 26 05:31 1993 SEQUEL/FRAMEWORKS/SETHEO/bin.sun4/sam
rwx------ 1590/1010 697 Apr 26 05:31 1993 SEQUEL/FRAMEWORKS/SETHEO/bin.sun4/setheo
rwx------ 1590/1010 73728 Apr 26 05:31 1993 SEQUEL/FRAMEWORKS/SETHEO/bin.sun4/wasm
rwx------ 1590/1010 73728 Apr 26 05:31 1993 SEQUEL/FRAMEWORKS/SETHEO/bin.sun4/xptree
rwx------ 1590/1010 475136 Apr 26 05:31 1993 SEQUEL/FRAMEWORKS/SETHEO/bin.sun4/xsetheo
rwx------ 1590/1010 229376 Apr 26 05:31 1993 SEQUEL/FRAMEWORKS/SETHEO/bin.sun4/xsetheo.dyn
rw------- 1590/1010 2190 Apr 26 05:31 1993 SEQUEL/FRAMEWORKS/SETHEO/bin.sun4/xsetheo.icon
rwx--s--- 1590/1010 0 Apr 23 10:34 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/
rw------- 1590/1010 3465 Apr 22 11:23 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/ANA002-1.lop
rw------- 1590/1010 2483 Apr 22 11:23 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/COM001-1.lop
rw------- 1590/1010 2909 Apr 22 11:23 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/COM002-1.lop
rw------- 1590/1010 9386 Apr 22 11:23 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/GEO002-3.lop
rw------- 1590/1010 7284 Apr 22 11:23 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/GEO003-2.lop
rw------- 1590/1010 7289 Apr 22 11:23 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/GEO014-2.lop
rw------- 1590/1010 7288 Apr 22 11:23 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/GEO015-2.lop
rw------- 1590/1010 7287 Apr 22 11:23 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/GEO016-2.lop
rw------- 1590/1010 7404 Apr 22 11:23 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/GEO016-3.lop
rw------- 1590/1010 7467 Apr 22 11:23 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/GEO017-3.lop
rw------- 1590/1010 1590 Apr 22 11:23 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/GRP003-1.lop
rw------- 1590/1010 1525 Apr 22 11:23 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/GRP003-2.lop
rw------- 1590/1010 1691 Apr 22 11:23 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/GRP004-1.lop
rw------- 1590/1010 1634 Apr 22 11:23 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/GRP004-2.lop
rw------- 1590/1010 2749 Apr 22 11:23 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/GRP017-1.lop
rw------- 1590/1010 2690 Apr 22 11:23 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/GRP018-1.lop
rw------- 1590/1010 2690 Apr 22 11:23 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/GRP019-1.lop
rw------- 1590/1010 2716 Apr 22 11:23 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/HEN001-1.lop
rw------- 1590/1010 2691 Apr 22 11:23 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/HEN002-1.lop
rw------- 1590/1010 3279 Apr 22 11:23 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/HEN007-2.lop
rw------- 1590/1010 2770 Apr 22 11:23 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/HEN007-4.lop
rw------- 1590/1010 361 Apr 22 11:23 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/LCL010-1.lop
rw------- 1590/1010 361 Apr 22 11:23 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/LCL011-1.lop
rw------- 1590/1010 415 Apr 22 11:23 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/LCL046-1.lop
rw------- 1590/1010 319 Apr 22 11:23 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/LCL082-1.lop
rw------- 1590/1010 1271 Apr 22 11:23 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/MSC001-1.lop
rw------- 1590/1010 1571 Apr 22 11:23 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/MSC002-1.lop
rw------- 1590/1010 2090 Apr 22 11:23 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/MSC003-1.lop
rw------- 1590/1010 2108 Apr 22 11:23 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/MSC004-1.lop
rw------- 1590/1010 350 Apr 22 11:23 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/MSC006-1.lop
rw------- 1590/1010 5419 Apr 22 11:23 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/MSC010-1.lop
rw------- 1590/1010 8628 Apr 22 11:23 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/MSC011-1.lop
rw------- 1590/1010 2432 Apr 22 11:23 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/NUM001-1.lop
rw------- 1590/1010 2443 Apr 22 11:23 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/NUM002-1.lop
rw------- 1590/1010 1632 Apr 22 11:23 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/NUM014-1.lop
rw------- 1590/1010 2690 Apr 22 11:23 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/PLA001-1.lop
rw------- 1590/1010 2647 Apr 22 11:23 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/PLA003-1.lop
rw------- 1590/1010 2362 Apr 22 11:23 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/PRV001-1.lop
rw------- 1590/1010 3207 Apr 22 11:23 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/PRV002-1.lop
rw------- 1590/1010 2884 Apr 22 11:23 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/PUZ001-1.lop
rw------- 1590/1010 3782 Apr 22 11:23 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/PUZ001-2.lop
rw------- 1590/1010 2539 Apr 22 11:23 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/PUZ002-1.lop
rw------- 1590/1010 1834 Apr 22 11:23 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/PUZ003-1.lop
rw------- 1590/1010 14214 Apr 22 11:23 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/PUZ010-1.lop
rw------- 1590/1010 2711 Apr 22 11:23 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/PUZ011-1.lop
rw------- 1590/1010 2739 Apr 22 11:23 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/PUZ012-1.lop
rw------- 1590/1010 4253 Apr 22 11:23 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/PUZ023-1.lop
rw------- 1590/1010 4575 Apr 22 11:23 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/PUZ031-1.lop
rw------- 1590/1010 2076 Apr 22 11:23 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/PUZ036-1.lop
rw------- 1590/1010 2122 Apr 22 11:23 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/ROB002-1.lop
rw------- 1590/1010 1813 Apr 22 11:23 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/ROB010-1.lop
rw------- 1590/1010 1813 Apr 22 11:23 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/ROB013-1.lop
rw------- 1590/1010 2037 Apr 22 11:23 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/SET001-1.lop
rw------- 1590/1010 2713 Apr 22 11:23 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/SET002-1.lop
rw------- 1590/1010 2741 Apr 22 11:23 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/SET003-1.lop
rw------- 1590/1010 3925 Apr 22 11:23 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/SET007-1.lop
rw------- 1590/1010 3994 Apr 22 11:23 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/SET008-1.lop
rw------- 1590/1010 2939 Apr 22 11:23 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/SET009-1.lop
rw------- 1590/1010 4096 Apr 22 11:23 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/SET011-1.lop
rw------- 1590/1010 1497 Apr 23 10:34 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/COM001-1.out
rw------- 1590/1010 1576 Apr 23 10:34 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/COM002-1.out
rw------- 1590/1010 1838 Apr 23 10:34 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/GEO002-3.out
rw------- 1590/1010 1832 Apr 23 10:34 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/GEO003-2.out
rw------- 1590/1010 1758 Apr 23 10:34 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/GEO014-2.out
rw------- 1590/1010 1758 Apr 23 10:34 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/GEO015-2.out
rw------- 1590/1010 1758 Apr 23 10:34 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/GEO016-2.out
rw------- 1590/1010 1761 Apr 23 10:34 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/GEO016-3.out
rw------- 1590/1010 1764 Apr 23 10:34 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/GEO017-3.out
rw------- 1590/1010 1496 Apr 23 10:34 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/GRP003-1.out
rw------- 1590/1010 1496 Apr 23 10:34 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/GRP003-2.out
rw------- 1590/1010 1496 Apr 23 10:34 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/GRP004-1.out
rw------- 1590/1010 1496 Apr 23 10:34 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/GRP004-2.out
rw------- 1590/1010 1498 Apr 23 10:34 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/GRP017-1.out
rw------- 1590/1010 1340 Apr 23 10:34 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/GRP018-1.out
rw------- 1590/1010 1498 Apr 23 10:34 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/GRP019-1.out
rw------- 1590/1010 1232 Apr 23 10:34 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/HEN001-1.out
rw------- 1590/1010 1184 Apr 23 10:34 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/HEN002-1.out
rw------- 1590/1010 1570 Apr 23 10:34 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/HEN007-2.out
rw------- 1590/1010 1640 Apr 23 10:34 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/HEN007-4.out
rw------- 1590/1010 1488 Apr 23 10:34 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/LCL010-1.out
rw------- 1590/1010 1779 Apr 23 10:34 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/LCL011-1.out
rw------- 1590/1010 1496 Apr 23 10:34 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/LCL046-1.out
rw------- 1590/1010 1779 Apr 23 10:34 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/LCL082-1.out
rw------- 1590/1010 1301 Apr 23 10:34 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/MSC001-1.out
rw------- 1590/1010 1818 Apr 23 10:34 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/MSC002-1.out
rw------- 1590/1010 1680 Apr 23 10:34 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/MSC003-1.out
rw------- 1590/1010 1895 Apr 23 10:34 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/MSC004-1.out
rw------- 1590/1010 1903 Apr 23 10:34 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/MSC006-1.out
rw------- 1590/1010 2227 Apr 23 10:34 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/MSC010-1.out
rw------- 1590/1010 1569 Apr 23 10:34 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/NUM001-1.out
rw------- 1590/1010 1498 Apr 23 10:34 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/NUM002-1.out
rw------- 1590/1010 1566 Apr 23 10:34 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/NUM014-1.out
rw------- 1590/1010 1562 Apr 23 10:34 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/PLA001-1.out
rw------- 1590/1010 1781 Apr 23 10:34 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/PLA003-1.out
rw------- 1590/1010 1822 Apr 23 10:34 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/PRV001-1.out
rw------- 1590/1010 1717 Apr 23 10:34 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/PRV002-1.out
rw------- 1590/1010 1436 Apr 23 10:34 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/PUZ001-1.out
rw------- 1590/1010 1856 Apr 23 10:34 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/PUZ001-2.out
rw------- 1590/1010 1815 Apr 23 10:34 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/PUZ002-1.out
rw------- 1590/1010 1638 Apr 23 10:34 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/PUZ003-1.out
rw------- 1590/1010 1568 Apr 23 10:34 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/PUZ010-1.out
rw------- 1590/1010 1459 Apr 23 10:34 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/PUZ011-1.out
rw------- 1590/1010 1604 Apr 23 10:34 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/PUZ012-1.out
rw------- 1590/1010 2062 Apr 23 10:34 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/PUZ023-1.out
rw------- 1590/1010 1759 Apr 23 10:34 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/PUZ031-1.out
rw------- 1590/1010 1860 Apr 23 10:34 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/PUZ036-1.out
rw------- 1590/1010 1639 Apr 23 10:34 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/ROB002-1.out
rw------- 1590/1010 1710 Apr 23 10:34 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/ROB010-1.out
rw------- 1590/1010 1710 Apr 23 10:34 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/ROB013-1.out
rw------- 1590/1010 1262 Apr 23 10:34 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/SET001-1.out
rw------- 1590/1010 1750 Apr 23 10:34 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/SET002-1.out
rw------- 1590/1010 1679 Apr 23 10:34 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/SET003-1.out
rw------- 1590/1010 1862 Apr 23 10:34 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/SET007-1.out
rw------- 1590/1010 1649 Apr 23 10:34 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/SET008-1.out
rw------- 1590/1010 1754 Apr 23 10:34 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/SET009-1.out
rw------- 1590/1010 1792 Apr 23 10:34 1993 SEQUEL/FRAMEWORKS/SETHEO/examples/SET011-1.out
rwx--s--- 1590/1010 0 Apr 22 08:07 1993 SEQUEL/FRAMEWORKS/SETHEO/manpages/
rw------- 1590/1010 773 Apr 22 06:14 1993 SEQUEL/FRAMEWORKS/SETHEO/manpages/clop.1
rw------- 1590/1010 3267 Apr 22 06:14 1993 SEQUEL/FRAMEWORKS/SETHEO/manpages/inwasm.1
rw------- 1590/1010 2634 Apr 23 09:56 1993 SEQUEL/FRAMEWORKS/SETHEO/manpages/sam.1
rw------- 1590/1010 1188 Apr 22 06:14 1993 SEQUEL/FRAMEWORKS/SETHEO/manpages/setheo.1
rw------- 1590/1010 721 Apr 22 06:14 1993 SEQUEL/FRAMEWORKS/SETHEO/manpages/wasm.1
r-------- 1590/1010 4325 Apr 22 06:14 1993 SEQUEL/FRAMEWORKS/SETHEO/manpages/xsetheo.1
rw------- 1590/1010 0 Apr 22 08:06 1993 SEQUEL/FRAMEWORKS/SETHEO/manpages/xptree.1
rw------- 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------- 1590/1010 386 May 20 06:26 1993 SEQUEL/FRAMEWORKS/STLC/stlc.syntax
rw------- 1590/1010 320 Aug 23 09:48 1993 SEQUEL/FRAMEWORKS/STLC/stlc.axioms
rw------- 1590/1010 343 Aug 23 09:49 1993 SEQUEL/FRAMEWORKS/STLC/stlc.fr
rw------- 1590/1010 890 Aug 23 09:50 1993 SEQUEL/FRAMEWORKS/STLC/stlc.doc
rwxr-sr-x 1590/1010 0 Sep 21 06:53 1993 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 783 Sep 21 06:37 1993 SEQUEL/FRAMEWORKS/TT0/tt0.fr
rw-r--r-- 1590/1010 2779 Sep 21 06:37 1993 SEQUEL/FRAMEWORKS/TT0/tt0.axioms
rw-r--r-- 1590/1010 1411 Aug 18 13:15 1993 SEQUEL/FRAMEWORKS/TT0/tt0.syntax
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 Jul 23 08:03 1993 SEQUEL/FRAMEWORKS/TT0/PROOFS/
rw------- 1590/1010 3880 Jul 19 15:07 1993 SEQUEL/FRAMEWORKS/TT0/PROOFS/Q1
rw------- 1590/1010 1076 Jul 19 15:10 1993 SEQUEL/FRAMEWORKS/TT0/PROOFS/Q2
rw------- 1590/1010 3809 Jul 19 15:19 1993 SEQUEL/FRAMEWORKS/TT0/PROOFS/Q3
rw------- 1590/1010 5216 Jul 19 15:29 1993 SEQUEL/FRAMEWORKS/TT0/PROOFS/Q4
rw------- 1590/1010 12782 Jul 19 14:40 1993 SEQUEL/FRAMEWORKS/TT0/PROOFS/gt
rw------- 1590/1010 10070 Jul 19 14:40 1993 SEQUEL/FRAMEWORKS/TT0/PROOFS/less
rw------- 1590/1010 104 Sep 21 06:38 1993 SEQUEL/FRAMEWORKS/TT0/tt0.tac
rwx--s--- 1590/1010 0 Sep 27 07:01 1993 SEQUEL/FRAMEWORKS/FUZZY/
rw------- 1590/1010 419 Sep 24 14:23 1993 SEQUEL/FRAMEWORKS/FUZZY/fuzzy.fr
rw------- 1590/1010 934 Sep 24 14:25 1993 SEQUEL/FRAMEWORKS/FUZZY/fuzzy.syntax
rw------- 1590/1010 96 Sep 24 13:19 1993 SEQUEL/FRAMEWORKS/FUZZY/fuzzy.external-syntax
rw------- 1590/1010 627 Sep 24 14:22 1993 SEQUEL/FRAMEWORKS/FUZZY/fuzzy.rew
rw------- 1590/1010 31 Sep 27 07:01 1993 SEQUEL/FRAMEWORKS/FUZZY/README
rw------- 1590/1010 806 Sep 27 06:50 1993 SEQUEL/FRAMEWORKS/FUZZY/fuzzy.axioms
rwxr-xr-x 1590/1010 0 Sep 21 06:00 1993 SEQUEL/LIB/
rw-r--r-- 1590/1010 7455 Aug 16 07:25 1993 SEQUEL/LIB/autoprove.lisp
rw-r--r-- 1590/1010 8054 Aug 19 11:13 1993 SEQUEL/LIB/install.lucid
rw-r--r-- 1590/1010 8269 Aug 17 05:43 1993 SEQUEL/LIB/cmu-code.lisp
rw-r--r-- 1590/1010 6218 Aug 19 11:50 1993 SEQUEL/LIB/install.cmu
rw-r--r-- 1590/1010 10367 Aug 16 10:16 1993 SEQUEL/LIB/consult.lisp
rw-r--r-- 1590/1010 5396 Aug 24 09:45 1993 SEQUEL/LIB/kcl-code.lisp
rw-r--r-- 1590/1010 7219 Aug 16 08:59 1993 SEQUEL/LIB/dr.lisp
rw-r--r-- 1590/1010 6801 Aug 23 08:24 1993 SEQUEL/LIB/install.kcl
rw-r--r-- 1590/1010 2584 Mar 31 04:40 1993 SEQUEL/LIB/err.lisp
rw-r--r-- 1590/1010 21843 Aug 16 07:25 1993 SEQUEL/LIB/frameworks.lisp
rw------- 1590/1010 418281 Sep 2 05:43 1993 SEQUEL/LIB/xtt.lisp
rw-r--r-- 1590/1010 40896 Aug 16 07:26 1993 SEQUEL/LIB/horn-compiler.lisp
rw-r--r-- 1590/1010 5966 Aug 20 13:15 1993 SEQUEL/LIB/ll.lisp
rw-r--r-- 1590/1010 2538 Mar 31 04:40 1993 SEQUEL/LIB/options.lisp
rw-r--r-- 1590/1010 53113 Aug 16 07:26 1993 SEQUEL/LIB/phi.lisp
rw------- 1590/1010 4920 Sep 2 05:45 1993 SEQUEL/LIB/dr.sbin
rw-r--r-- 1590/1010 5006 Aug 16 07:26 1993 SEQUEL/LIB/proof-types.lisp
rw------- 1590/1010 34340 Sep 2 05:38 1993 SEQUEL/LIB/windows.o
rw-r--r-- 1590/1010 31755 Aug 18 10:57 1993 SEQUEL/LIB/sequel.lisp
rw------- 1590/1010 28153 Sep 2 05:44 1993 SEQUEL/LIB/settings.sbin
rw------- 1590/1010 37097 Sep 2 05:44 1993 SEQUEL/LIB/prooftool.sbin
rw------- 1590/1010 12813 Sep 2 05:44 1993 SEQUEL/LIB/typechecker.sbin
rw-r--r-- 1590/1010 34249 Aug 24 09:43 1993 SEQUEL/LIB/prooftool.lisp
rw------- 1590/1010 46938 Sep 2 05:44 1993 SEQUEL/LIB/sequel.sbin
rw-r--r-- 1590/1010 2845 Aug 16 07:27 1993 SEQUEL/LIB/readtable.lisp
rw-r--r-- 1590/1010 4141 Aug 16 07:27 1993 SEQUEL/LIB/rewrite.lisp
rw------- 1590/1010 45252 Sep 2 05:44 1993 SEQUEL/LIB/usertypes.sbin
rw------- 1590/1010 27840 Sep 2 05:44 1993 SEQUEL/LIB/toplevel.sbin
rw------- 1590/1010 11886 Sep 2 11:50 1993 SEQUEL/LIB/see
rw-r--r-- 1590/1010 23577 Aug 17 11:49 1993 SEQUEL/LIB/settings.lisp
rw-r--r-- 1590/1010 28239 Aug 17 11:20 1993 SEQUEL/LIB/toplevel.lisp
rw------- 1590/1010 49359 Sep 2 05:44 1993 SEQUEL/LIB/horn-compiler.sbin
rw-r--r-- 1590/1010 13083 Aug 16 07:29 1993 SEQUEL/LIB/trace.lisp
rw------- 1590/1010 11744 Sep 2 05:44 1993 SEQUEL/LIB/consult.sbin
rw-r--r-- 1590/1010 12352 Aug 16 07:29 1993 SEQUEL/LIB/typechecker.lisp
rw------- 1590/1010 199668 Sep 2 05:44 1993 SEQUEL/LIB/phi.sbin
rw-r--r-- 1590/1010 48582 Aug 16 07:29 1993 SEQUEL/LIB/usertypes.lisp
rw-r--r-- 1590/1010 37046 Mar 31 04:41 1993 SEQUEL/LIB/windows.c
rw------- 1590/1010 24165 Sep 2 05:44 1993 SEQUEL/LIB/frameworks.sbin
rw------- 1590/1010 2305 Sep 2 05:44 1993 SEQUEL/LIB/rewrite.sbin
rw------- 1590/1010 10445 Sep 2 05:44 1993 SEQUEL/LIB/trace.sbin
rw------- 1590/1010 840623 Sep 2 05:45 1993 SEQUEL/LIB/xtt.sbin
rw------- 1590/1010 6177 Sep 2 05:45 1993 SEQUEL/LIB/autoprove.sbin
rw-r--r-- 1590/1010 2440 Apr 20 12:04 1993 SEQUEL/LIB/copyright
rw------- 1590/1010 761 Sep 2 11:50 1993 SEQUEL/LIB/temp
rw-r--r-- 1590/1010 10219 Aug 3 11:09 1993 SEQUEL/LIB/env.lisp
rw------- 1590/1010 4753 Sep 2 05:45 1993 SEQUEL/LIB/proof-types.sbin
rwx------ 1590/1010 0 Aug 26 05:55 1993 SEQUEL/DOC/
rw------- 1590/1010 962699 Aug 26 05:55 1993 SEQUEL/DOC/manual.ps
rw------- 1590/1010 3741 Aug 26 05:52 1993 SEQUEL/DOC/updates
rw------- 1590/1010 2338 Jul 29 10:47 1993 SEQUEL/DOC/bugs
rw------- 1590/1010 216434 Jul 29 09:23 1993 SEQUEL/DOC/intro.ps