src/HOL/Code_Evaluation.thy
Mon, 05 Jun 2017 15:59:45 +0200 haftmann streamlined code setup for fake terms
Mon, 05 Sep 2016 23:11:00 +0200 wenzelm clarified modules;
Thu, 26 May 2016 15:27:50 +0200 haftmann delegate inclusion of required dictionaries to user-space instead of half-working magic
less more (0) -30 -10 -3 tip