| Wed, 06 Dec 2000 10:23:06 +0100 | paulson | miniscoping of nat_diff_split | changeset | files |
| Tue, 05 Dec 2000 18:57:40 +0100 | paulson | new theory Numbers.thy | changeset | files |
| Tue, 05 Dec 2000 18:56:57 +0100 | paulson | new package amsfonts | changeset | files |
| Tue, 05 Dec 2000 18:56:18 +0100 | paulson | tidying | changeset | files |
| Tue, 05 Dec 2000 18:55:45 +0100 | paulson | partial numerics section | changeset | files |
| Tue, 05 Dec 2000 18:55:18 +0100 | paulson | nat and int sections but no real | changeset | files |
| Tue, 05 Dec 2000 18:36:01 +0100 | kleing | fixed document preparation | changeset | files |
| Tue, 05 Dec 2000 14:08:56 +0100 | kleing | BCV Integration | changeset | files |
| Tue, 05 Dec 2000 14:08:22 +0100 | kleing | jvm_progs now also store maximum op_stack depth | changeset | files |
| Tue, 05 Dec 2000 08:22:49 +0100 | nipkow | *** empty log message *** | changeset | files |
| Mon, 04 Dec 2000 23:38:19 +0100 | wenzelm | *** empty log message *** | changeset | files |
| Mon, 04 Dec 2000 23:36:16 +0100 | wenzelm | updated; | changeset | files |