| Wed, 11 Jul 2018 09:43:48 +0200 | nipkow | (re)moved lemmas | file | diff | annotate |
| Wed, 11 Jul 2018 01:04:23 +0200 | nipkow | moved lemmas | file | diff | annotate |
| Mon, 26 Feb 2018 07:34:05 +0100 | immler | moved Lipschitz continuity from AFP/Ordinary_Differential_Equations and AFP/Gromov_Hyperbolicity; moved lemmas from AFP/Gromov_Hyperbolicity/Library_Complements | file | diff | annotate |
| Thu, 15 Feb 2018 12:11:00 +0100 | wenzelm | more symbols; | file | diff | annotate |
| Sun, 20 Aug 2017 03:35:20 +0200 | Manuel Eberl | Various lemmas for HOL-Analysis | 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, 20 Oct 2016 18:41:59 +0200 | hoelzl | HOL-Probability: move stopping time from AFP/Markov_Models | file | diff | annotate |
| Mon, 08 Aug 2016 14:13:14 +0200 | hoelzl | rename HOL-Multivariate_Analysis to HOL-Analysis. | file | diff | annotate | base |