isabelle: File revisions

src/HOL/Quotient_Examples/Lift_Fun.thy

Fri, 20 Sep 2024 19:51:08 +0200	wenzelm	standardize mixfix annotations via "isabelle update -a -u mixfix_cartouches" --- to simplify systematic editing;	file \| diff \| annotate
Thu, 08 Jul 2021 08:42:36 +0200	desharna	added opaque_combs and renamed hide_lams to opaque_lifting	file \| diff \| annotate
Wed, 10 Jan 2018 15:25:09 +0100	nipkow	ran isabelle update_op on all sources	file \| diff \| annotate
Fri, 18 Aug 2017 20:47:47 +0200	wenzelm	session-qualified theory imports: isabelle imports -U -i -d '~~/src/Benchmarks' -a;	file \| diff \| annotate
Thu, 26 May 2016 17:51:22 +0200	wenzelm	isabelle update_cartouches -c -t;	file \| diff \| annotate
Sun, 02 Nov 2014 18:21:45 +0100	wenzelm	modernized header uniformly as section;	file \| diff \| annotate
Thu, 06 Mar 2014 15:12:23 +0100	blanchet	renamed 'endofun_rel' to 'rel_endofun'	file \| diff \| annotate
Fri, 14 Feb 2014 07:53:46 +0100	blanchet	renamed 'enriched_type' to more informative 'functor' (following the renaming of enriched type constructors to bounded natural functors)	file \| diff \| annotate

isabelle