Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2002-10-29 15:09:23 -0800 (Tue, 29 Oct 2002)
Revision: 3917
Log message:
Itt_well_founded should go after Itt_logic (noticed by Xin).
Changes | Path |
+1 -1 | metaprl/doc/latex/theories/itt/print.ml |