| Fri, 07 Sep 2007 22:13:48 +0200 | wenzelm | reset goal messages after goal update; | changeset | files |
| Fri, 07 Sep 2007 22:13:45 +0200 | wenzelm | added hilite markup; | changeset | files |
| Fri, 07 Sep 2007 20:40:08 +0200 | wenzelm | fixed type alias in signature; | changeset | files |
| Fri, 07 Sep 2007 17:56:03 +0200 | nipkow | added lemma | changeset | files |