| Tue, 17 May 2022 14:10:14 +0100 |
paulson |
tidied auto / simp with null arguments
|
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
|
| 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
|
| Wed, 09 Oct 2019 14:51:54 +0000 |
haftmann |
dedicated fact collections for algebraic simplification rules potentially splitting goals
|
file |
diff |
annotate
|
| Fri, 14 Jun 2019 08:34:28 +0000 |
haftmann |
moved some theorems into HOL main corpus
|
file |
diff |
annotate
|
| Fri, 14 Jun 2019 08:34:28 +0000 |
haftmann |
official fact collection sign_simps
|
file |
diff |
annotate
|
| Wed, 10 Apr 2019 13:34:55 +0100 |
paulson |
The last big tranche of Homology material: invariance of domain; renamings to use generic sum/prod lemmas from their locale
|
file |
diff |
annotate
|
| Sat, 05 Jan 2019 17:24:33 +0100 |
wenzelm |
isabelle update -u control_cartouches;
|
file |
diff |
annotate
|
| Mon, 05 Feb 2018 08:30:19 +0100 |
immler |
added lemmas, avoid 'float_of 0'
|
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
|
| Sat, 15 Jul 2017 16:27:10 +0100 |
eberlm |
Adapted Approximation_Bounds to changes in Multiset
|
file |
diff |
annotate
|
| Wed, 26 Apr 2017 17:01:10 +0200 |
eberlm |
tuned Approximation: separated general material from oracle
|
file |
diff |
annotate
|