src/HOL/Hoare_Parallel/RG_Examples.thy
Fri, 06 Dec 2024 13:33:25 +0100 wenzelm clarified printing of consts: rename apart from all bounds, and thus avoid old Term.declare_free_names with its adhoc policy ("as they are printed");
Thu, 31 Jan 2019 13:08:59 +0000 haftmann proper congruence rule for image operator
Sun, 30 Dec 2018 10:34:56 +0000 haftmann prefer naming convention from datatype package for strong congruence rules
Sun, 21 Oct 2018 09:39:09 +0200 nipkow uniform naming of strong congruence rules
Thu, 24 May 2018 09:18:29 +0200 haftmann avoid overaggressive classical rule
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
less more (0) -10 -7 tip