src/HOL/Library/Code_Lazy.thy
8 months ago Andreas Lochbihler 2018-12-30 separate case converter into a separate theory
8 months ago haftmann 2018-12-29 explicit dependencies for includes
10 months ago wenzelm 2018-11-08 isabelle update_cartouches -t;
10 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);
15 months ago wenzelm 2018-06-06 eliminated suspicious Unicode;
16 months ago Andreas Lochbihler 2018-05-12 new tool Code_Lazy