| Fri, 26 Nov 2010 16:28:34 +0100 | wenzelm | prefer non-classical eliminations in Pure reasoning, notably "rule" steps; | changeset | files |
| Fri, 26 Nov 2010 14:40:33 +0100 | wenzelm | discontinued global "Isabelle" symlink, to make each distribution even more self-contained; | changeset | files |
| Fri, 26 Nov 2010 14:19:16 +0100 | wenzelm | more correct spelling; | changeset | files |
| Fri, 26 Nov 2010 12:03:18 +0100 | haftmann | globbing constant expressions use more idiomatic underscore rather than star | changeset | files |
| Fri, 26 Nov 2010 12:03:17 +0100 | haftmann | globbing constant expressions use more idiomatic underscore rather than star; | changeset | files |
| Fri, 26 Nov 2010 11:38:20 +0100 | haftmann | datatype constructor glob for code_reflect | changeset | files |