| Tue, 27 Sep 2005 12:16:06 +0200 | berghofe | nat_number_of is no longer declared as code lemma, since this turned | changeset | files |
| Tue, 27 Sep 2005 12:14:39 +0200 | berghofe | Inserted clause for nat in number_of_codegen again ("code unfold" turned | changeset | files |
| Tue, 27 Sep 2005 12:13:17 +0200 | berghofe | Optimized unfold_attr. | changeset | files |
| Tue, 27 Sep 2005 11:39:27 +0200 | wenzelm | removed link to HOL4, which is not in the library right now; | changeset | files |
| Tue, 27 Sep 2005 11:27:07 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 27 Sep 2005 11:03:38 +0200 | berghofe | Added entries for code_module, code_library, and value. | changeset | files |
| Tue, 27 Sep 2005 11:02:16 +0200 | berghofe | Tuned. | changeset | files |
| Mon, 26 Sep 2005 20:52:36 +0200 | wenzelm | updates for Isabelle2005; | changeset | files |