| Sun, 15 May 2011 20:38:08 +0200 | wenzelm | timing of Theory_Data operations, with implicit thread positions when functor is applied; | changeset | files |
| Sun, 15 May 2011 19:19:26 +0200 | wenzelm | tuned; | changeset | files |
| Sun, 15 May 2011 18:59:27 +0200 | wenzelm | eliminated obsolete "assert" function, including divergent (unused!?) clone in Predicate_Compile_Proof; | changeset | files |