| Thu, 08 Nov 2018 09:11:52 +0100 | haftmann | removed relics of ASCII syntax for indexed big operators | file | diff | annotate |
| Fri, 06 Apr 2018 17:34:50 +0200 | immler | a first shot at tagging for HOL-Analysis manual | 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 |
| Thu, 13 Oct 2016 18:36:06 +0200 | hoelzl | HOL-Probability: move conditional expectation from AFP/Ergodic_Theory | file | diff | annotate |
| Fri, 30 Sep 2016 16:08:38 +0200 | hoelzl | HOL-Probability: more about probability, prepare for Markov processes in the AFP | file | diff | annotate |
| Mon, 08 Aug 2016 14:13:14 +0200 | hoelzl | rename HOL-Multivariate_Analysis to HOL-Analysis. | file | diff | annotate | base |