src/HOL/Hoare_Parallel/OG_Examples.thy
Mon, 14 Jan 2019 14:46:12 +0100 nipkow uniform naming
Sat, 05 Jan 2019 17:24:33 +0100 wenzelm isabelle update -u control_cartouches;
Sun, 21 Oct 2018 09:39:09 +0200 nipkow uniform naming of strong congruence rules
Tue, 16 Jan 2018 09:30:00 +0100 wenzelm standardized towards new-style formal comments: isabelle update_comments;
Mon, 17 Oct 2016 11:46:22 +0200 nipkow setsum -> sum
Sun, 16 Oct 2016 09:31:05 +0200 haftmann more standardized theorem names for facts involving the div and mod identity
Sat, 02 Jan 2016 18:48:45 +0100 wenzelm isabelle update_cartouches -c -t;
less more (0) -10 -7 tip