Sat, 17 Sep 2005 12:18:04 +0200 | wenzelm | theorem(_i): empty target; | changeset | files |
Sat, 17 Sep 2005 12:18:03 +0200 | wenzelm | pretty_thm_aux: observe asms context; | changeset | files |
Sat, 17 Sep 2005 12:18:02 +0200 | wenzelm | tuned; | changeset | files |