| Tue, 02 Oct 2007 22:23:24 +0200 | wenzelm | inductive: mark internal theorems as Thm.internalK; | changeset | files |
| Tue, 02 Oct 2007 19:05:20 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 02 Oct 2007 16:06:41 +0200 | wenzelm | export tsig_of; | changeset | files |
| Tue, 02 Oct 2007 07:59:55 +0200 | haftmann | clarified role of class relations | changeset | files |
| Tue, 02 Oct 2007 07:59:54 +0200 | haftmann | ignore mutual recursive modules | changeset | files |
| Mon, 01 Oct 2007 22:52:20 +0200 | wenzelm | integer compatibility: added wrapper for structure Time; | changeset | files |
| Mon, 01 Oct 2007 22:29:58 +0200 | wenzelm | fixed use_text; | changeset | files |