src/HOL/Library/Set_Idioms.thy
Mon, 18 Mar 2019 15:35:34 +0000 paulson new material;' strengthened material; moved proofs out of Function_Topology in order to lessen its dependencies
Thu, 22 Nov 2018 10:06:31 +0000 haftmann removed legacy input syntax
Sun, 18 Nov 2018 18:07:51 +0000 haftmann removed legacy input syntax
Mon, 17 Sep 2018 15:31:55 +0100 paulson Set idioms theory "finite intersection_of open", etc.
less more (0) tip