src/HOL/Library/Code_Lazy.thy
6 months ago haftmann 2019-01-19 self-contained code modules for Haskell
6 months ago wenzelm 2019-01-06 isabelle update -u path_cartouches;
6 months ago wenzelm 2019-01-04 isabelle update -u control_cartouches;
6 months ago Andreas Lochbihler 2018-12-30 separate case converter into a separate theory
6 months ago haftmann 2018-12-29 explicit dependencies for includes
8 months ago wenzelm 2018-11-08 isabelle update_cartouches -t;
8 months ago wenzelm 2018-10-31 clarified ML_Context.expression: it is a closed expression, not a let-declaration -- thus source positions are more accurate (amending d8849cfad60f, 162a4c2e97bc);
13 months ago wenzelm 2018-06-06 eliminated suspicious Unicode;
14 months ago Andreas Lochbihler 2018-05-12 new tool Code_Lazy