src/HOL/Auth/Yahalom2.thy
Sat, 05 Jan 2019 17:24:33 +0100 wenzelm isabelle update -u control_cartouches;
Thu, 15 Feb 2018 12:11:00 +0100 wenzelm more symbols;
Tue, 16 Jan 2018 09:30:00 +0100 wenzelm standardized towards new-style formal comments: isabelle update_comments;
Tue, 19 Dec 2017 13:58:12 +0100 wenzelm isabelle update_cartouches -c -t;
Mon, 24 Oct 2016 14:31:05 +0100 paulson "subgoal" examples
Mon, 28 Dec 2015 23:13:33 +0100 wenzelm more symbols;
Thu, 10 Dec 2015 21:39:33 +0100 wenzelm isabelle update_cartouches -c -t;
less more (0) -30 -10 -7 tip