Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Last working version prior to addition of "lost" component
authorpaulson
Thu, 26 Sep 1996 10:34:19 +0200
changeset 2028 738bb98d65ec
parent 2027 0f11f625063b
child 2029 2fa4c4b1a7fe
Last working version prior to addition of "lost" component
src/HOL/Auth/Message.ML file | annotate | diff | comparison | revisions 
--- a/src/HOL/Auth/Message.ML	Wed Sep 25 18:01:18 1996 +0200
+++ b/src/HOL/Auth/Message.ML	Thu Sep 26 10:34:19 1996 +0200
@@ -202,6 +202,8 @@
                       addIs  [parts_insertI]) 1);
 qed "parts_cut_eq";
 
+Addsimps [parts_cut_eq];
+
 
 (** Rewrite rules for pulling out atomic messages **)
isabelle