---------------------------------------------------------------------------
Notice to Users
This is a Federal computer system and is the property of the United States
Government. It is for authorized use only. Users (authorized or unauthorized)
have no explicit or implicit expectation of privacy.
Any or all uses of this system and all files on this system may be intercepted,
monitored, recorded, copied, audited, inspected, and disclosed to authorized
site, Department of Energy, and law enforcement personnel, as well as
authorized officials of other agencies, both domestic and foreign. By using
this system, the user consents to such interception, monitoring, recording,
copying, auditing, inspection, and disclosure at the discretion of authorized
site or Department of Energy personnel.
Unauthorized or improper use of this system may result in administrative
disciplinary action and civil and criminal penalties. By continuing to use
this system you indicate your awareness of and consent to these terms and
conditions of use. LOG OFF IMMEDIATELY if you do not agree to the conditions
stated in this warning.
----------------------------------------------------------------------------
Name Last modified Size Description
Parent Directory -
set_assump.first_order 24-Mar-1990 10:47 1.7K
set_assump.clauses 24-Mar-1990 10:47 1.8K
lemma9.desc 24-Mar-1990 10:47 616
lemma9.clauses 24-Mar-1990 10:47 1.1K
lemma8.desc 24-Mar-1990 10:47 475
lemma8.clauses 24-Mar-1990 10:47 383
lemma7.desc 24-Mar-1990 10:47 416
lemma7.clauses 24-Mar-1990 10:47 388
lemma6.desc 24-Mar-1990 10:47 523
lemma6.clauses 24-Mar-1990 10:47 421
lemma5.desc 24-Mar-1990 10:47 467
lemma5.clauses 24-Mar-1990 10:47 466
lemma4.desc 24-Mar-1990 10:47 487
lemma4.clauses 24-Mar-1990 10:47 461
lemma3.desc 24-Mar-1990 10:47 544
lemma3.clauses 24-Mar-1990 10:47 476
lemma23.desc 24-Mar-1990 10:47 479
lemma23.clauses 24-Mar-1990 10:47 408
lemma22.desc 24-Mar-1990 10:47 434
lemma22.clauses 24-Mar-1990 10:47 395
lemma21.desc 24-Mar-1990 10:47 427
lemma21.clauses 24-Mar-1990 10:47 311
lemma20.desc 24-Mar-1990 10:47 426
lemma20.clauses 24-Mar-1990 10:47 302
lemma2.desc 24-Mar-1990 10:47 443
lemma2.clauses 24-Mar-1990 10:47 446
lemma1d.pf 24-Mar-1990 10:47 8.7K
lemma1d.in 24-Mar-1990 10:47 6.4K
lemma1d.desc 24-Mar-1990 10:47 523
lemma1d.clauses 24-Mar-1990 10:47 5.7K
lemma1c.pf 24-Mar-1990 10:47 5.9K
lemma1c.in 24-Mar-1990 10:47 2.1K
lemma1c.desc 24-Mar-1990 10:47 519
lemma1c.clauses 24-Mar-1990 10:47 1.8K
lemma1b.pf 24-Mar-1990 10:47 8.4K
lemma1b.in 24-Mar-1990 10:47 6.3K
lemma1b.desc 24-Mar-1990 10:47 491
lemma1b.clauses 24-Mar-1990 10:47 5.6K
lemma1a.pf 24-Mar-1990 10:47 7.8K
lemma1a.in 24-Mar-1990 10:47 6.2K
lemma1a.desc 24-Mar-1990 10:47 514
lemma1a.clauses 24-Mar-1990 10:47 5.6K
lemma19.desc 24-Mar-1990 10:47 434
lemma19.clauses 24-Mar-1990 10:47 344
lemma18.desc 24-Mar-1990 10:47 474
lemma18.clauses 24-Mar-1990 10:47 377
lemma17.desc 24-Mar-1990 10:47 681
lemma17.clauses 24-Mar-1990 10:47 2.1K
lemma16.desc 24-Mar-1990 10:47 486
lemma16.clauses 24-Mar-1990 10:47 412
lemma15.desc 24-Mar-1990 10:47 459
lemma15.clauses 24-Mar-1990 10:47 618
lemma14.desc 24-Mar-1990 10:47 471
lemma14.clauses 24-Mar-1990 10:47 356
lemma13.desc 24-Mar-1990 10:47 486
lemma13.clauses 24-Mar-1990 10:47 501
lemma12.desc 24-Mar-1990 10:47 519
lemma12.clauses 24-Mar-1990 10:47 557
lemma11.desc 24-Mar-1990 10:47 753
lemma11.clauses 24-Mar-1990 10:47 734
lemma10.desc 24-Mar-1990 10:47 637
lemma10.clauses 24-Mar-1990 10:47 823
lemma1.pf 24-Mar-1990 10:47 1.9K
lemma1.in 24-Mar-1990 10:47 1.7K
lemma1.desc 24-Mar-1990 10:46 570
lemma1.clauses 24-Mar-1990 10:46 1.6K
equality_ax.first_order 24-Mar-1990 10:46 5.0K
demods.first_order 24-Mar-1990 10:46 1.4K
defs.first_order 24-Mar-1990 10:46 3.5K
axioms.decl 24-Mar-1990 10:46 5.1K
axioms.clauses 24-Mar-1990 10:46 7.7K