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 |
Fri, 30 Apr 1999 16:41:10 +0200 | wenzelm | patched sum_case; | changeset | files |
Thu, 29 Apr 1999 22:45:19 +0200 | berghofe | Obsolete because JDK 1.1.x contains a class ScrollPane | changeset | files |