2008-06-30 ago haftmann tagged arities
2008-06-30 ago haftmann HOL-Complex with proof terms
2008-06-30 ago haftmann code generator setup for "int" also works under eta-contraction
2008-06-28 ago wenzelm added ML/ml_thms.ML;
2008-06-28 ago wenzelm tuned;
2008-06-28 ago wenzelm tuned;
2008-06-28 ago wenzelm additional ML antiquotations;
2008-06-28 ago wenzelm moved theorem values to ml_thms.ML;
2008-06-28 ago wenzelm Isar theorem values within ML.
2008-06-28 ago wenzelm added ML/ml_thms.ML;
2008-06-28 ago wenzelm updated generated file;
2008-06-28 ago wenzelm allow overlap of minor keywords and commands;
2008-06-28 ago wenzelm include HOL-Plain;
2008-06-28 ago wenzelm tuned args parser (cf. args.ML);
2008-06-28 ago wenzelm replaced simple_text by fully-featured parse_args;
2008-06-28 ago wenzelm tuned nested args parser;
2008-06-28 ago wenzelm @{lemma}: 'by' keyword;
2008-06-28 ago wenzelm ML: improved antiquotations;
2008-06-28 ago wenzelm added macro interface;
2008-06-28 ago wenzelm tuned;
2008-06-28 ago wenzelm added thm_name, opt_thm_name;
2008-06-27 ago haftmann adjusted import
2008-06-27 ago haftmann adjusted import
2008-06-27 ago urbanc added a lemma to at_swap_simps
2008-06-26 ago huffman remove cset theory; define ideal completions using typedef instead of cpodef
2008-06-26 ago wenzelm Args.theory;
2008-06-26 ago wenzelm added context/theory scanner;
2008-06-26 ago wenzelm Args.context;
2008-06-26 ago krauss fix: need to beta/eta normalize
2008-06-26 ago haftmann established Plain theory and image
2008-06-26 ago haftmann added dummy citiation
2008-06-26 ago haftmann dropped recdef
2008-06-26 ago haftmann class theory name lookup improved
2008-06-25 ago wenzelm modernized specifications;
2008-06-25 ago wenzelm tuned proofs;
2008-06-25 ago wenzelm modernized specifications;
2008-06-25 ago wenzelm modernized specifications;
2008-06-25 ago urbanc typo
2008-06-25 ago wenzelm re-use official outer keywords;
2008-06-25 ago wenzelm scan: prefer command over keyword, allowing lexicons to overlap;
2008-06-25 ago wenzelm moved global keywords from OuterSyntax to OuterKeyword, tuned interfaces;
2008-06-25 ago wenzelm moved global keywords from OuterSyntax to OuterKeyword, tuned interfaces;
2008-06-25 ago wenzelm antiquote: need to quote outer keywords;
2008-06-25 ago wenzelm tuned;
2008-06-25 ago wenzelm moved global keywords from OuterSyntax to OuterKeyword, tuned interfaces;
2008-06-25 ago berghofe - Equivariance simpset used in proofs of strong induction and inversion
2008-06-25 ago wenzelm pprint: back to proper output of markup, with workaround for Poly/ML crash;
2008-06-24 ago wenzelm back to 1.36 (Poly/ML crash!?);
2008-06-24 ago wenzelm updated generated file;
2008-06-24 ago wenzelm YXML: no special treatment of white space;
2008-06-24 ago wenzelm pprint: proper output of markup (important for token translation);
2008-06-24 ago wenzelm ml_code_antiq: proper scanner combinators;
2008-06-24 ago wenzelm moved concrete antiquotations to ml_antiquote.ML;
2008-06-24 ago wenzelm Antiquote.Open/Close;
2008-06-24 ago wenzelm add_antiq: more general notion of ML antiquotation;
2008-06-24 ago wenzelm added Open/Close -- checked blocks;
2008-06-24 ago wenzelm added pprint_thy_ref;
2008-06-24 ago wenzelm Common ML antiquotations.
2008-06-24 ago wenzelm added ML/ml_antiquote.ML;
2008-06-24 ago wenzelm ML_Antiquote.value;