| Sat, 17 Nov 2012 20:29:17 +0100 | wenzelm | tuned; | changeset | files |
| Sat, 17 Nov 2012 20:19:34 +0100 | wenzelm | NEWS; | changeset | files |
| Sat, 17 Nov 2012 20:10:28 +0100 | wenzelm | tuned structure of Isabelle/HOL; | changeset | files |
| Sat, 17 Nov 2012 19:46:32 +0100 | wenzelm | method setup for Classical steps; | changeset | files |
| Sat, 17 Nov 2012 17:55:52 +0100 | wenzelm | tuned signature; | changeset | files |
| Sat, 17 Nov 2012 17:42:19 +0100 | wenzelm | updated keywords; | changeset | files |
| Fri, 16 Nov 2012 19:14:23 +0100 | hoelzl | moved (b)choice_iff(') to Hilbert_Choice | changeset | files |