| Tue, 03 Jun 2008 00:20:22 +0200 | wenzelm | reorganized isar-ref; | changeset | files |
| Tue, 03 Jun 2008 00:16:37 +0200 | wenzelm | added Wenzel:2006:Festschrift; | changeset | files |
| Tue, 03 Jun 2008 00:16:18 +0200 | wenzelm | class_deps: improper; | changeset | files |
| Tue, 03 Jun 2008 00:16:07 +0200 | wenzelm | \cite{Wenzel:2006:Festschrift}; | changeset | files |