| Wed, 20 Apr 2011 16:18:47 +0200 | wenzelm | avoid Display.string_of_thm_without_context; | changeset | files |
| Wed, 20 Apr 2011 15:55:34 +0200 | wenzelm | eliminated global references / critical sections via context data; | changeset | files |
| Wed, 20 Apr 2011 14:33:33 +0200 | wenzelm | explicit context for Codegen.eval_term etc.; | changeset | files |
| Wed, 20 Apr 2011 13:54:07 +0200 | wenzelm | added Theory.nodes_of convenience; | changeset | files |