| Sat, 17 Oct 2009 13:46:55 +0200 | nipkow | merged | changeset | files |
| Sat, 17 Oct 2009 13:46:39 +0200 | nipkow | added the_inv_onto | changeset | files |
| Sat, 17 Oct 2009 14:43:18 +0200 | wenzelm | eliminated hard tabulators, guessing at each author's individual tab-width; | changeset | files |
| Sat, 17 Oct 2009 01:05:59 +0200 | wenzelm | removed obsolete old goal command; | changeset | files |
| Sat, 17 Oct 2009 00:53:18 +0200 | wenzelm | legacy Drule.standard is no longer pervasive; | changeset | files |
| Sat, 17 Oct 2009 00:52:37 +0200 | wenzelm | explicitly qualify Drule.standard; | changeset | files |