Mon, 10 May 2021 16:14:34 +0200 | wenzelm | tuned proofs --- avoid z3, which is absent on arm64-linux; | file | diff | annotate |
Wed, 07 Apr 2021 11:05:00 +0200 | Manuel Eberl | fixed problematic addition operation in the 'approximation' package (previous version used much too high precision sometimes) | file | diff | annotate |
Mon, 04 Nov 2019 21:41:55 -0500 | immler | add lemmas | file | diff | annotate |
Sun, 03 Nov 2019 19:59:56 -0500 | immler | refactor Approximation.thy to use more abstract type of intervals | file | diff | annotate |
Sun, 03 Nov 2019 19:58:02 -0500 | immler | moved theory Interval_Approximation from the AFP | file | diff | annotate |