Fri, 18 Aug 2017 20:47:47 +0200 | wenzelm | session-qualified theory imports: isabelle imports -U -i -d '~~/src/Benchmarks' -a; | file | diff | annotate |
Wed, 22 Feb 2017 20:24:50 +0100 | haftmann | basic documentation for computations | file | diff | annotate |
Fri, 12 Aug 2016 11:53:47 +0200 | wenzelm | tuned; | file | diff | annotate |
Sun, 29 May 2016 14:43:18 +0200 | haftmann | explicit check that abstract constructors cannot be part of official interface | file | diff | annotate |
Thu, 26 May 2016 15:27:50 +0200 | haftmann | delegate inclusion of required dictionaries to user-space instead of half-working magic | file | diff | annotate |
Tue, 06 Oct 2015 15:14:28 +0200 | wenzelm | fewer aliases for toplevel theorem statements; | file | diff | annotate |