Tue, 29 Sep 2009 14:25:42 +1000 | Thomas Sewell | Replace OldTerm.term_vars with Term.add_vars in named_cterm_instantiate. | changeset | files |
Mon, 28 Sep 2009 15:37:19 +1000 | Thomas Sewell | Avoid a possible variable name conflict in instantiating a theorem. | changeset | files |
Mon, 28 Sep 2009 14:16:01 +1000 | Thomas Sewell | Fix unescaped expressions breaking latex output in Record.thy | changeset | files |