| Fri, 03 Aug 2007 22:35:40 +0200 | wenzelm | reactivated Nominal/Examples/Class.thy; | changeset | files |
| Fri, 03 Aug 2007 22:33:10 +0200 | wenzelm | replaced outdated flag by update_time (multithreading-safe presentation order); | changeset | files |
| Fri, 03 Aug 2007 22:33:09 +0200 | wenzelm | sort indexes according to symbolic update_time (multithreading-safe); | changeset | files |