isabelle: File revisions

src/HOL/Real_Asymp/exp_log_expression.ML

Tue, 23 May 2023 18:46:15 +0200	wenzelm	tuned signature: more position information;	file \| diff \| annotate
Wed, 20 Oct 2021 18:13:17 +0200	wenzelm	discontinued obsolete "val extend = I" for data slots;	file \| diff \| annotate
Fri, 15 Oct 2021 19:25:31 +0200	wenzelm	discontinued Term.dest_abs / Logic.dest_all, which are officially superseded by Variable.dest_abs etc., but there are also Term.dest_abs_global to recover existing tools easily;	file \| diff \| annotate
Thu, 14 Oct 2021 16:03:20 +0200	wenzelm	clarified signature;	file \| diff \| annotate
Tue, 03 Aug 2021 13:40:17 +0200	wenzelm	proper name space "kind": this is a formal name, not comment;	file \| diff \| annotate
Sat, 05 Jan 2019 17:24:33 +0100	wenzelm	isabelle update -u control_cartouches;	file \| diff \| annotate
Mon, 24 Sep 2018 14:30:09 +0200	nipkow	*Prefix form of infix with on either side no longer needs special treatment**	file \| diff \| annotate
Sun, 15 Jul 2018 14:46:57 +0200	Manuel Eberl	Added Real_Asymp package	file \| diff \| annotate

isabelle