| Wed, 13 Jul 2005 20:07:01 +0200 | aspinall | Update PGIP packet handling, fixing unique session identifier. | changeset | files |
| Wed, 13 Jul 2005 20:02:54 +0200 | avigad | fixed typos in theorem names | changeset | files |
| Wed, 13 Jul 2005 19:49:07 +0200 | avigad | Additions to the Real (and Hyperreal) libraries: | changeset | files |
| Wed, 13 Jul 2005 16:47:23 +0200 | paulson | tidied | changeset | files |