| Mon, 30 Jul 2007 11:12:28 +0200 | wenzelm | marked some CRITICAL sections; | changeset | files |
| Mon, 30 Jul 2007 10:39:12 +0200 | urbanc | updated some of the definitions and proofs | changeset | files |
| Sun, 29 Jul 2007 23:27:40 +0200 | wenzelm | tuned msgs; | changeset | files |
| Sun, 29 Jul 2007 22:42:02 +0200 | wenzelm | deps: keep thy source text, avoid reloading; | changeset | files |
| Sun, 29 Jul 2007 22:42:00 +0200 | wenzelm | adapted ThyLoad.deps_thy; | changeset | files |
| Sun, 29 Jul 2007 22:41:59 +0200 | wenzelm | more informative tracing; | changeset | files |