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.
Documented new "asm_lr" option for simp.
authorberghofe
Fri, 04 Oct 2002 09:56:48 +0200
changeset 13625 ca86e84ce200
parent 13624 17684cf64fda
child 13626 282fbabec862
Documented new "asm_lr" option for simp.
doc-src/IsarRef/conversion.tex file | annotate | diff | comparison | revisions 
--- a/doc-src/IsarRef/conversion.tex	Thu Oct 03 10:34:51 2002 +0200
+++ b/doc-src/IsarRef/conversion.tex	Fri Oct 04 09:56:48 2002 +0200
@@ -358,6 +358,7 @@
   \texttt{Simp_tac 1} & & simp~(no_asm) \\
   \texttt{Asm_simp_tac 1} & & simp~(no_asm_simp) \\
   \texttt{Full_simp_tac 1} & & simp~(no_asm_use) \\
+  \texttt{Asm_lr_simp_tac 1} & & simp~(asm_lr) \\
 \end{matharray}
 
 Isar also provides separate method modifier syntax for augmenting the
isabelle