| Fri, 12 Oct 2012 15:52:45 +0200 | traytel | tuned proofs | changeset | files |
| Fri, 12 Oct 2012 14:57:56 +0200 | nipkow | tuned | changeset | files |
| Fri, 12 Oct 2012 21:39:58 +0200 | wenzelm | simplified 'typedef' specifications: discontinued implicit set definition and alternative name; | changeset | files |
| Fri, 12 Oct 2012 21:22:35 +0200 | wenzelm | discontinued typedef with alternative name; | changeset | files |