doc-src/AxClass/Nat/ROOT.ML
author wenzelm
Tue Sep 19 23:15:28 2006 +0200 (2006-09-19)
changeset 20622 e1a573146be5
parent 8890 9a44d8d98731
permissions -rw-r--r--
tuned proofs;
wenzelm@8890
     1
wenzelm@8890
     2
use_thy "NatClass";