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