| Thu, 28 Sep 2006 01:26:28 +0200 | huffman | generalize type of is(NS)UCont | changeset | files |
| Thu, 28 Sep 2006 00:57:36 +0200 | huffman | add intro/dest rules for (NS)LIMSEQ and (NS)Cauchy; rewrite equivalence proofs using transfer | changeset | files |
| Thu, 28 Sep 2006 00:10:08 +0200 | wenzelm | proper use of PolyML.shareCommonData; | changeset | files |
| Wed, 27 Sep 2006 23:53:46 +0200 | huffman | add lemmas InfinitesimalI2, InfinitesimalD2 | changeset | files |
| Wed, 27 Sep 2006 23:41:12 +0200 | wenzelm | adapted to pre-5.0 versions; | changeset | files |
| Wed, 27 Sep 2006 23:41:12 +0200 | wenzelm | Poly/ML startup script (for 4.9.1); | changeset | files |