src/HOL/Isar_Examples/Expr_Compiler.thy
Tue, 02 Aug 2016 18:46:24 +0200 wenzelm tuned;
less more (0) -10 -1 tip