| Thu, 15 Oct 2009 12:23:24 +0200 | wenzelm | misc tuning and recovery of Isabelle coding style; | changeset | files |
| Thu, 15 Oct 2009 11:49:27 +0200 | wenzelm | eliminated extraneous wrapping of public records; | changeset | files |
| Thu, 15 Oct 2009 11:23:03 +0200 | wenzelm | tuned signature; | changeset | files |
| Thu, 15 Oct 2009 11:12:09 +0200 | wenzelm | renamed functor HeapFun to Heap; | changeset | files |
| Thu, 15 Oct 2009 10:59:10 +0200 | wenzelm | misc tuning and clarification; | changeset | files |
| Thu, 15 Oct 2009 00:55:29 +0200 | wenzelm | structure ATP_Manager: eliminated slightly odd get/set operations in favour of Unsynchronized.ref; | changeset | files |