T 3.1 (15) SPARC/UNIX  Copyright (C) 1989 Yale University
;Reloading  /home/va/jt/init.t into USER-ENV
[Redefining RUN-SCHEME] 
T Top level
> 
;  Loading IMPS section FOUNDATION.
;    Loading IMPS section GENERIC-THEORIES.
;      Loading IMPS section BASIC-REAL-ARITHMETIC.
;        Loading IMPS section REALS.
;          Loading IMPS file "/usr/src/local2/imps/sys/tea/theories/reals/reals.t".
;          File is loaded.
;          Loading IMPS file "/usr/src/local2/imps/sys/tea/theories/reals/some-elementary-macetes.t".
;          File is loaded.
;          Loading IMPS file "/usr/src/local2/imps/sys/tea/theories/reals/arithmetic-strategies.t".
;          File is loaded.
;        REALS is loaded.
;        Loading IMPS file "/usr/src/local2/imps/sys/tea/theories/reals/some-lemmas.t".
;        File is loaded.
;        Loading IMPS file "/usr/src/local2/imps/sys/tea/theories/reals/arithmetic-macetes.t".

IMPS warning: Emacs-eval: wanted emacs to execute "(add-imps-command \"prove-iteration-operator-definedness\" 'general-argument-retrieval-protocol)"
Emacs process-filter not on.


;        File is loaded.
;        Loading IMPS file "/usr/src/local2/imps/sys/tea/theories/reals/number-theory.t".
;          Already loaded IMPS section REALS.
;        File is loaded.
;      BASIC-REAL-ARITHMETIC is loaded.
;      Loading IMPS section PURE-GENERIC-THEORIES.
;        Loading IMPS file "/usr/src/local2/imps/sys/tea/theories/generic-theories/pure-generic-theories.t".
;        File is loaded.
;        Loading IMPS file "/usr/src/local2/imps/sys/tea/theories/generic-theories/iota.t".
;        File is loaded.
;      PURE-GENERIC-THEORIES is loaded.
;      Loading IMPS file "/usr/src/local2/imps/sys/tea/theories/generic-theories/generic-theories.t".
;      File is loaded.
;    GENERIC-THEORIES is loaded.
;    Loading IMPS section MAPPINGS.
;      Loading IMPS section INDICATORS.
;        Loading IMPS file "/usr/src/local2/imps/sys/tea/theories/generic-theories/indicators.t".
;        File is loaded.
;        Loading IMPS file "/usr/src/local2/imps/sys/tea/theories/generic-theories/indicator-lemmas.t".
;        File is loaded.
;      INDICATORS is loaded.
;      Already loaded IMPS section PURE-GENERIC-THEORIES.
;      Loading IMPS file "/usr/src/local2/imps/sys/tea/theories/generic-theories/mappings.t".
;      File is loaded.
;      Loading IMPS file "/usr/src/local2/imps/sys/tea/theories/generic-theories/mapping-lemmas.t".
;Beginning GC
;*PRE-GC-AGENDA* done
;GC-FLIP done
;Starting to root
;*POST-GC-AGENDA* done
;Space Remaining: 5765521 left out of 5999992 (96% free)
;GC done
;      File is loaded.
;      Loading IMPS file "/usr/src/local2/imps/sys/tea/theories/generic-theories/inverse-lemmas.t".
;      File is loaded.
;    MAPPINGS is loaded.
;    Loading IMPS file "/usr/src/local2/imps/sys/tea/theories/reals/reals-supplements.t".
;    File is loaded.
;    Loading IMPS file "/usr/src/local2/imps/sys/tea/theories/reals/some-obligations.t".
;    File is loaded.
;  FOUNDATION is loaded.
0
> 
;Beginning GC
;*PRE-GC-AGENDA* done
;GC-FLIP done
;Starting to root
;*POST-GC-AGENDA* done
;Space Remaining: 5695608 left out of 5999992 (95% free)
;GC done
;no value
> 
Suspending /NFS/imps/jt/dumpo ... 
writing object file
23999968 bytes per heap, 131071 bytes reserved
