Thu, 20 Oct 2016 18:41:59 +0200 | hoelzl | HOL-Probability: move stopping time from AFP/Markov_Models | changeset | files |
Thu, 20 Oct 2016 18:41:58 +0200 | hoelzl | HOL-Probability: generalize type of essential supremum | changeset | files |
Thu, 20 Oct 2016 17:28:09 +0200 | eberlm | Repaired LaTeX in HOL-Data_Structures | changeset | files |
Thu, 20 Oct 2016 13:53:36 +0200 | eberlm | More on Fibonacci numbers | changeset | files |
Thu, 20 Oct 2016 11:05:16 +0200 | wenzelm | build HTML library in Isabelle/Scala; | changeset | files |
Thu, 20 Oct 2016 11:04:38 +0200 | wenzelm | proper echo; | changeset | files |