Fri, 18 Aug 2017 20:47:47 +0200 | wenzelm | session-qualified theory imports: isabelle imports -U -i -d '~~/src/Benchmarks' -a; | file | diff | annotate |
Mon, 17 Oct 2016 17:33:07 +0200 | nipkow | setprod -> prod | file | diff | annotate |
Tue, 06 Oct 2015 17:47:28 +0200 | wenzelm | isabelle update_cartouches; | file | diff | annotate |
Mon, 16 Mar 2015 15:30:00 +0000 | paulson | The factorial function, "fact", now has type "nat => 'a" | file | diff | annotate |
Tue, 10 Mar 2015 16:12:35 +0000 | paulson | renaming HOL/Fact.thy -> Binomial.thy | file | diff | annotate |
Sun, 02 Nov 2014 18:21:45 +0100 | wenzelm | modernized header uniformly as section; | file | diff | annotate |
Mon, 19 Nov 2012 12:29:02 +0100 | hoelzl | merge extensional dependent function space from FuncSet with the one in Finite_Product_Measure | file | diff | annotate |
Tue, 07 Jun 2011 11:10:57 +0200 | bulwahn | renaming the formalisation of the birthday problem to a proper English name | file | diff | annotate | base |