src/HOL/Library/reify_data.ML
Thu, 08 Jul 2010 16:19:24 +0200 haftmann tuned titles
Sun, 08 Nov 2009 16:28:18 +0100 wenzelm adapted Generic_Data;
Sun, 15 Mar 2009 15:59:44 +0100 wenzelm simplified attribute setup;
Wed, 28 Jan 2009 11:04:10 +0100 haftmann Reflection.thy now in HOL/Library
less more (0) tip