isabelle: File revisions

src/HOL/Proofs/Lambda/ParRed.thy

Fri, 01 Nov 2024 12:15:53 +0000	paulson	Trying to clean up these horribly ugly old proofs, but the requirement of constructivity makes it very difficult	file \| diff \| annotate
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, 15 Feb 2018 12:11:00 +0100	wenzelm	more symbols;	file \| diff \| annotate
Wed, 30 Dec 2015 18:25:39 +0100	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
Mon, 30 Jun 2014 10:34:28 +0200	wenzelm	removed obsolete Isar system commands -- raw ML console is normally used for system tinkering;	file \| diff \| annotate
Mon, 12 Sep 2011 07:55:43 +0200	nipkow	new fastforce replacing fastsimp - less confusing name	file \| diff \| annotate
Mon, 06 Sep 2010 14:18:16 +0200	wenzelm	more explicit HOL-Proofs sessions, including former ex/Hilbert_Classical.thy which works in parallel mode without the antiquotation option "margin" (which is still critical);	file \| diff \| annotate \| base

isabelle