| Thu, 22 Apr 2004 10:57:12 +0200 | wenzelm | support for advanced translation functions; | changeset | files |
| Thu, 22 Apr 2004 10:55:02 +0200 | wenzelm | adapted Sign.rep_sg; | changeset | files |
| Thu, 22 Apr 2004 10:52:32 +0200 | wenzelm | tuned; | changeset | files |
| Thu, 22 Apr 2004 10:49:30 +0200 | wenzelm | improved constdefs and translation functions; | changeset | files |
| Thu, 22 Apr 2004 10:45:56 +0200 | paulson | moved Complex/NSInduct and Hyperreal/IntFloor to more appropriate | changeset | files |
| Thu, 22 Apr 2004 10:43:06 +0200 | paulson | new lemmas | changeset | files |
| Thu, 22 Apr 2004 09:23:13 +0200 | kleing | typo | changeset | files |
| Thu, 22 Apr 2004 09:19:28 +0200 | kleing | Higher order logic more obvious than set theory | changeset | files |