| Tue, 23 Sep 2003 15:40:27 +0200 | paulson | new session HOL-SET-Protocol | changeset | files |
| Mon, 22 Sep 2003 16:19:46 +0200 | berghofe | Modified merge_aux to prevent newer names from getting overwritten | changeset | files |
| Mon, 22 Sep 2003 16:16:03 +0200 | berghofe | add_attribute now takes parser as argument. | changeset | files |
| Mon, 22 Sep 2003 16:14:58 +0200 | berghofe | Added "del" attribute for deleting equations. | changeset | files |
| Mon, 22 Sep 2003 16:06:05 +0200 | berghofe | Changed interface of add_attribute. | changeset | files |
| Mon, 22 Sep 2003 16:04:49 +0200 | berghofe | Improved efficiency of code generated for functions int and nat. | changeset | files |
| Mon, 22 Sep 2003 16:02:51 +0200 | berghofe | Improved efficiency of code generated for + and - | changeset | files |