2006-03-17 ballarin add_locale(_i) returns internal locale name.
2006-03-17 haftmann added example for operational classes and code generator
2006-03-17 haftmann slight improvement in serializer, stub for code generator theorems added
2006-03-17 ballarin Renamed setsum_mult to setsum_right_distrib.
2006-03-17 ballarin Internal restructuring: local parameters.
2006-03-17 haftmann renamed op < <= to Orderings.less(_eq)
2006-03-16 ballarin New interface function parameters_of_expr.
2006-03-15 berghofe add_inst_arity_i renamed to prove_arity.
2006-03-15 wenzelm rename_frees: treat trivial names;
2006-03-14 wenzelm added singleton;
2006-03-14 wenzelm updated;
2006-03-14 wenzelm turned string_of_mixfix into pretty_mixfix;
2006-03-14 wenzelm added monomorphic;
2006-03-14 wenzelm added 'print_statement' command;
2006-03-14 wenzelm added print_stmts;
2006-03-14 wenzelm added pretty_statement;
2006-03-14 wenzelm added command, keyword;
2006-03-14 wenzelm Output.add_mode: keyword component;
2006-03-14 wenzelm string_of_mixfix;
2006-03-14 wenzelm print_statement;
2006-03-14 wenzelm added remove_trrules(_i);
2006-03-14 wenzelm added is_elim (from Provers/classical.ML);
2006-03-14 wenzelm added 'no_translations';
2006-03-14 wenzelm added pretty_stmt;
2006-03-14 wenzelm declared_const: check for type constraint only, i.e. admit abbreviations as well;
2006-03-14 wenzelm ObjectLogic.is_elim;
2006-03-14 wenzelm tuned constdecl;
2006-03-14 wenzelm updated;
2006-03-14 wenzelm Pure: no_translations;
2006-03-14 haftmann refined representation of instance dictionaries
(0) -10000 -3000 -1000 -300 -100 -50 -30 +30 +50 +100 +300 +1000 +3000 +10000 +30000 tip