src/HOL/Auth/Yahalom.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;
Wed, 25 Mar 2015 10:44:57 +0100 wenzelm prefer local fixes;
Sun, 02 Nov 2014 18:21:45 +0100 wenzelm modernized header uniformly as section;
Sun, 20 Nov 2011 21:05:23 +0100 wenzelm eliminated obsolete "standard";
Fri, 27 Aug 2010 10:56:46 +0200 haftmann formerly unnamed infix conjunction and disjunction now named HOL.conj and HOL.disj
Thu, 22 Jul 2010 18:08:39 +0200 wenzelm updated some headers;
Mon, 01 Mar 2010 13:40:23 +0100 haftmann replaced a couple of constsdefs by definitions (also some old primrecs by modern ones)
Sat, 17 Oct 2009 14:43:18 +0200 wenzelm eliminated hard tabulators, guessing at each author's individual tab-width;
Fri, 14 Aug 2009 21:36:14 +0200 krauss removed atp_minimize invocation
less more (0) -15 tip