Sat, 01 Jul 2000 19:40:46 +0200 | wenzelm | print_theorems: omit name space; | changeset | files |
Sat, 01 Jul 2000 17:52:52 +0200 | nipkow | Defined abs on int. | changeset | files |
Fri, 30 Jun 2000 21:21:11 +0200 | wenzelm | help_antiquotations; | changeset | files |