| Thu, 28 Sep 2006 23:42:50 +0200 | wenzelm | ResAtpset.get_atpset; | changeset | files |
| Thu, 28 Sep 2006 23:42:49 +0200 | wenzelm | removed legacy code; | changeset | files |
| Thu, 28 Sep 2006 23:42:47 +0200 | wenzelm | tuned definitions/proofs; | changeset | files |
| Thu, 28 Sep 2006 23:42:45 +0200 | wenzelm | proper use of float.ML; | changeset | files |
| Thu, 28 Sep 2006 23:42:43 +0200 | wenzelm | fixed translations: CONST; | changeset | files |
| Thu, 28 Sep 2006 23:42:39 +0200 | wenzelm | replaced syntax/translations by abbreviation; | changeset | files |
| Thu, 28 Sep 2006 23:42:35 +0200 | wenzelm | replaced syntax/translations by abbreviation; | changeset | files |
| Thu, 28 Sep 2006 23:42:32 +0200 | wenzelm | removed obsolete Real/document/root.tex; | changeset | files |
| Thu, 28 Sep 2006 23:42:30 +0200 | wenzelm | tuned; | changeset | files |
| Thu, 28 Sep 2006 21:01:13 +0200 | huffman | rearranged axioms and simp rules for scaleR | changeset | files |
| Thu, 28 Sep 2006 20:30:53 +0200 | wenzelm | added Poly/ML 4.9.1 (experimental!); | changeset | files |
| Thu, 28 Sep 2006 19:04:13 +0200 | huffman | rearranged axioms and simp rules for scaleR | changeset | files |
| Thu, 28 Sep 2006 16:01:48 +0200 | paulson | clearout of obsolete code | changeset | files |
| Thu, 28 Sep 2006 16:01:34 +0200 | paulson | addition of combinators | changeset | files |
| Thu, 28 Sep 2006 15:30:03 +0200 | wenzelm | tuned messages; | changeset | files |