| Fri, 30 Apr 1999 18:10:35 +0200 | wenzelm | peoper defer_recdef interface; | changeset | files |
| Fri, 30 Apr 1999 18:10:03 +0200 | wenzelm | theory data: copy; | changeset | files |
| Fri, 30 Apr 1999 18:09:33 +0200 | wenzelm | separated recdef / defer_recdef; | changeset | files |
| Fri, 30 Apr 1999 18:08:58 +0200 | wenzelm | tuned defer_recdef interfaces; | changeset | files |
| Fri, 30 Apr 1999 18:07:19 +0200 | wenzelm | comment, interest; | changeset | files |
| Fri, 30 Apr 1999 18:06:49 +0200 | wenzelm | Comment.text; | changeset | files |
| Fri, 30 Apr 1999 18:06:35 +0200 | wenzelm | comment sections; | changeset | files |
| Fri, 30 Apr 1999 18:05:55 +0200 | wenzelm | dummy patterns; | changeset | files |
| Fri, 30 Apr 1999 18:04:42 +0200 | wenzelm | added Isar/comment.ML; | changeset | files |
| Fri, 30 Apr 1999 18:02:16 +0200 | wenzelm | val foldl_map_aterms: ('a * term -> 'a * term) -> 'a * term -> 'a * term; | changeset | files |
| Fri, 30 Apr 1999 18:01:55 +0200 | wenzelm | theory data: copy; | changeset | files |
| Fri, 30 Apr 1999 18:01:11 +0200 | wenzelm | theory data: copy; | changeset | files |
| Fri, 30 Apr 1999 17:59:36 +0200 | wenzelm | improved icons; | changeset | files |
| Fri, 30 Apr 1999 17:46:14 +0200 | wenzelm | Isabelle icons; | changeset | files |