Sun, 09 Apr 2006 18:51:15 +0200 | wenzelm | hide consts in Numeral.thy; | changeset | files |
Sun, 09 Apr 2006 18:51:13 +0200 | wenzelm | tuned syntax/abbreviations; | changeset | files |
Sun, 09 Apr 2006 18:51:11 +0200 | wenzelm | unfold(ed): not necessrily meta equations; | changeset | files |