isabelle: File revisions

src/HOL/Algebra/Order.thy

Sat, 05 Jan 2019 17:24:33 +0100	wenzelm	isabelle update -u control_cartouches;	file \| diff \| annotate
Thu, 03 May 2018 15:07:14 +0200	immler	merged; resolved conflicts manually (esp. lemmas that have been moved from Linear_Algebra and Cartesian_Euclidean_Space)	file \| diff \| annotate
Wed, 02 May 2018 13:49:38 +0200	immler	added Johannes' generalizations Modules.thy and Vector_Spaces.thy; adapted HOL and HOL-Analysis accordingly	file \| diff \| annotate
Thu, 19 Apr 2018 14:49:08 +0100	paulson	some simpler, cleaner proofs	file \| diff \| annotate
Thu, 15 Feb 2018 12:11:00 +0100	wenzelm	more symbols;	file \| diff \| annotate
Wed, 10 Jan 2018 15:25:09 +0100	nipkow	ran isabelle update_op on all sources	file \| diff \| annotate
Sun, 26 Nov 2017 21:08:32 +0100	wenzelm	more symbols;	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, 02 Mar 2017 21:16:02 +0100	ballarin	Knaster-Tarski fixed point theorem and Galois Connections.	file \| diff \| annotate

isabelle