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/HOL/IMP/Machines.thy
changeset 13612 55d32e76ef4e
parent 13098 e0644528e21e
child 13675 01fc1fc61384 
--- a/src/HOL/IMP/Machines.thy	Mon Sep 30 16:47:03 2002 +0200
+++ b/src/HOL/IMP/Machines.thy	Mon Sep 30 16:48:15 2002 +0200
@@ -193,7 +193,7 @@
   apply simp
   apply(rule rev_revD)
   apply simp
- apply(clarsimp simp add: neq_Nil_conv append_eq_conv_conj)
+ apply(simp (no_asm_use) add: neq_Nil_conv append_eq_conv_conj, clarify)+
  apply(drule sym)
  apply simp
  apply(rule rev_revD)
isabelle