src/Pure/Syntax/syntax_trans.ML
Fri, 06 Dec 2024 22:40:43 +0100 wenzelm tuned signature;
Fri, 06 Dec 2024 20:26:33 +0100 wenzelm clarified renaming of bounds, using Syntax_Trans.variant_bounds: avoid structures and fixed variables with syntax;
Fri, 06 Dec 2024 15:20:43 +0100 wenzelm tuned signature;
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");
Sat, 30 Nov 2024 19:21:38 +0100 wenzelm eliminate historic clone (see also 550e36c6a2d1);
Fri, 29 Nov 2024 11:26:17 +0100 wenzelm tuned: more standard Name.build_context, although that is a bit longer;
Tue, 22 Oct 2024 19:26:40 +0200 wenzelm more concise representation of term positions;
Sat, 19 Oct 2024 19:00:19 +0200 wenzelm more type information;
Mon, 04 Oct 2021 19:17:50 +0200 wenzelm clarified signature;
Mon, 04 Oct 2021 17:22:17 +0200 wenzelm tuned;
Thu, 03 Jan 2019 15:55:48 +0100 wenzelm tuned;
Thu, 03 Jan 2019 14:12:44 +0100 wenzelm clarified signature: more types;
Tue, 13 Dec 2016 11:51:42 +0100 wenzelm more symbols;
Wed, 30 Mar 2016 17:03:26 +0200 wenzelm clarified modules;
Sun, 06 Mar 2016 16:19:02 +0100 wenzelm clarified treatment of fragments of Isabelle symbols during bootstrap;
less more (0) -15 tip