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/Benchmarks/Quickcheck_Benchmark/Needham_Schroeder_Unguided_Attacker_Example.thy
changeset 62290 658276428cfc
parent 62286 705d4c4003ea
child 67399 eab6ce8368fa 
--- a/src/Benchmarks/Quickcheck_Benchmark/Needham_Schroeder_Unguided_Attacker_Example.thy	Sat Feb 13 12:33:55 2016 +0100
+++ b/src/Benchmarks/Quickcheck_Benchmark/Needham_Schroeder_Unguided_Attacker_Example.thy	Sat Feb 13 12:39:00 2016 +0100
@@ -51,7 +51,7 @@
 (*quickcheck[narrowing, size = 7, timeout = 200, expect = no_counterexample]*)
 oops
 
-section {* Proving the counterexample trace for validation *}
+section \<open>Proving the counterexample trace for validation\<close>
 
 lemma
   assumes "A = Alice" "B = Bob" "C = Spy" "NA = 0" "NB = 1"
isabelle