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/SMT.thy
changeset 57213 9daec42f6784
parent 56078 624faeda77b5
child 57226 c22ad39c3b4b 
--- a/src/HOL/SMT.thy	Wed Jun 11 11:28:46 2014 +0200
+++ b/src/HOL/SMT.thy	Wed Jun 11 11:28:46 2014 +0200
@@ -419,7 +419,6 @@
   "(if P then Q else \<not>R) \<or> P \<or> R"
   by auto
 
-
 hide_type (open) pattern
 hide_const fun_app term_true term_false z3div z3mod
 hide_const (open) trigger pat nopat weight
isabelle