2013-09-26 | blanchet | generate "sel_splits(_asm)" theorems | changeset | files |
2013-09-26 | blanchet | generate "sel_exhaust" theorem | changeset | files |
2013-09-26 | wenzelm | merged | changeset | files |
2013-09-26 | wenzelm | obsolete (see also 48d13465c7c7); | changeset | files |
2013-09-26 | wenzelm | prefer GNU tar for Isabelle to avoid odd extended header keywords produced by Apple's bsdtar (see also 8f6046b7f850); | changeset | files |
2013-09-26 | wenzelm | initialize class immediately (potentially more robust); | changeset | files |
Loading... |