| Wed, 27 Apr 2005 16:39:59 +0200 | paulson | tidied | changeset | files |
| Wed, 27 Apr 2005 16:39:44 +0200 | paulson | partial modernising of theory headers | changeset | files |
| Wed, 27 Apr 2005 11:49:20 +0200 | chaieb | bug in plusinf and mininf for the oracle fixed. | changeset | files |
| Wed, 27 Apr 2005 06:03:35 +0200 | kleing | reverted last change (dependencies in HOL) | changeset | files |
| Wed, 27 Apr 2005 00:47:38 +0200 | huffman | Added binder syntax for fix | changeset | files |
| Tue, 26 Apr 2005 20:41:37 +0200 | wenzelm | removed -a option; | changeset | files |
| Tue, 26 Apr 2005 20:38:39 +0200 | dixon | lucas - updated to reflect isand.ML update | changeset | files |