Sun, 24 Aug 2008 14:42:22 +0200 | haftmann | tuned import order | changeset | files |
Sun, 24 Aug 2008 14:24:03 +0200 | wenzelm | activated \<A>, \<a>, \<AA>, \<aa>; | changeset | files |
Sat, 23 Aug 2008 23:44:31 +0200 | wenzelm | * Isabelle/lib/classes/Pure.jar; | changeset | files |