src/HOL/Library/Interval.thy
Fri, 30 Aug 2024 10:16:48 +0100 paulson More tidying of old proofs
Fri, 26 Jan 2024 11:19:22 +0000 paulson Type class patch suggested by Achim Brucker, plus tidied lemma
Tue, 17 May 2022 14:10:14 +0100 paulson tidied auto / simp with null arguments
Thu, 08 Jul 2021 08:42:36 +0200 desharna added opaque_combs and renamed hide_lams to opaque_lifting
Sun, 15 Nov 2020 07:17:06 +0000 haftmann bundles for reflected term syntax
Mon, 04 Nov 2019 21:41:55 -0500 immler add lemmas
Sun, 03 Nov 2019 19:59:56 -0500 immler refactor Approximation.thy to use more abstract type of intervals
Sun, 27 Oct 2019 21:51:14 -0400 immler moved theory Interval from the AFP
less more (0) tip