isabelle: File revisions

src/HOL/Cardinals/Order_Union.thy

Sat, 04 Nov 2017 19:17:19 +0100	wenzelm	prefer main entry points of HOL;	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
Mon, 01 Sep 2014 16:34:39 +0200	blanchet	renamed '(BNF_)Constructions_on_Wellorders' to '(BNF_)Wellorder_Constructions'	file \| diff \| annotate
Fri, 17 Jan 2014 10:02:50 +0100	blanchet	folded 'Wellfounded_More_FP' into 'Wellfounded'	file \| diff \| annotate
Thu, 16 Jan 2014 18:37:37 +0100	blanchet	compile (importing 'Metis' or 'Main' would have been an alternative)	file \| diff \| annotate
Wed, 20 Nov 2013 23:14:06 +0100	blanchet	effectively reverted d25fc4c0ff62, to avoid quasi-cyclic dependencies with HOL-Cardinals and minimize BNF dependencies	file \| diff \| annotate \| base

isabelle