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.
junk
authornipkow
Mon, 06 Jun 2005 13:30:21 +0200
changeset 16298 8435be7188cb
parent 16297 928e95c867d6
child 16299 872ad146bb14
junk
src/HOL/HoareParallel/OG_Examples.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/HoareParallel/OG_Examples.thy	Mon Jun 06 13:30:05 2005 +0200
+++ b/src/HOL/HoareParallel/OG_Examples.thy	Mon Jun 06 13:30:21 2005 +0200
@@ -446,7 +446,6 @@
 --{* 33 subgoals left *}
 apply(tactic {* ALLGOALS Clarify_tac *})
 
-ML "set Presburger.trace"
 apply(tactic {* TRYALL simple_arith_tac *})
 --{* 10 subgoals left *}
 apply (force simp add:less_Suc_eq)
isabelle