src/HOL/Import/import_data.ML
2015-04-06 wenzelm 2015-04-06 @{command_spec} is superseded by @{command_keyword};
2015-03-04 wenzelm 2015-03-04 tuned signature -- prefer qualified names;
2014-10-23 haftmann 2014-10-23 tuned language and spelling
2014-03-24 wenzelm 2014-03-24 formal check of user input, avoiding direct references of interal names;
2013-08-23 wenzelm 2013-08-23 more standard parser combinator expressions and tool setup;
2013-08-23 wenzelm 2013-08-23 added Theory.setup convenience;
2012-11-26 wenzelm 2012-11-26 tuned command descriptions;
2012-04-01 Cezary Kaliszyk 2012-04-01 Modernized HOL-Import for HOL Light