| Fri, 16 Sep 2011 09:18:15 +0200 | nipkow | when applying induction rules, remove names of assumptions that come | changeset | files |
| Fri, 16 Sep 2011 20:08:29 +0200 | noschinl | remove stray "using [[simp_trace]]" | changeset | files |
| Fri, 16 Sep 2011 20:02:35 +0200 | noschinl | tune indenting | changeset | files |