Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Sequents/LK.thy
changeset 21428 f84cf8e9cad8
parent 17481 75166ebb619b
child 27149 123377499a8e 
--- a/src/Sequents/LK.thy	Tue Nov 21 00:00:39 2006 +0100
+++ b/src/Sequents/LK.thy	Tue Nov 21 00:07:05 2006 +0100
@@ -25,8 +25,6 @@
   left_cong:  "[| P == P';  |- P' ==> ($H |- $F) == ($H' |- $F') |]
                ==> (P, $H |- $F) == (P', $H' |- $F')"
 
-ML {* use_legacy_bindings (the_context ()) *}
-
 use "simpdata.ML"
 
 end
isabelle