| Wed, 18 Jul 2018 20:51:23 +0200 | haftmann | slightly more canonical imports | 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 |
| Mon, 06 Feb 2017 20:56:36 +0100 | haftmann | extended syntax allows to include datatype constructors directly in computations | file | diff | annotate |
| Mon, 06 Feb 2017 20:56:33 +0100 | haftmann | more computation antiquotations | file | diff | annotate |
| Mon, 06 Feb 2017 20:56:32 +0100 | haftmann | computations and partiality | file | diff | annotate |
| Mon, 06 Feb 2017 20:56:30 +0100 | haftmann | tuned | file | diff | annotate |
| Fri, 27 Jan 2017 22:27:03 +0100 | haftmann | ML antiquotation for generated computations | file | diff | annotate |