| Mon, 13 May 2024 22:42:40 +0100 | paulson | More binomial material | file | diff | annotate |
| Thu, 11 Mar 2021 07:05:38 +0000 | haftmann | avoid name clash | file | diff | annotate |
| Sun, 31 Jul 2016 19:09:21 +0200 | wenzelm | clarified imports; | file | diff | annotate |
| Sun, 31 Jul 2016 18:05:20 +0200 | wenzelm | simplified theory structure; | file | diff | annotate |
| Sat, 18 Jul 2015 22:58:50 +0200 | wenzelm | isabelle update_cartouches; | file | diff | annotate |
| Sun, 02 Nov 2014 18:21:45 +0100 | wenzelm | modernized header uniformly as section; | file | diff | annotate |
| Tue, 26 Mar 2013 12:20:59 +0100 | hoelzl | move Ln.thy and Log.thy to Transcendental.thy | file | diff | annotate |