isabelle: Graph

Mercurial Mercurial > repos > isabelle / graph

summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
less more | (0) -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 +10000 +30000 tip

removed obsolete unlocalize_mfix;
2007-10-17, by wenzelm
removed obsolete unlocalize_mixfix;
2007-10-17, by wenzelm
locale pred: authentic syntax, tuned aprop_tr' accordingly;
2007-10-17, by wenzelm
store external accesses within name space (as produced by naming policy);
2007-10-17, by wenzelm
removed unused set_policy;
2007-10-17, by wenzelm
replaced NameSpace.accesses' by NameSpace.external_names (depening on naming);
2007-10-17, by wenzelm
added sorted_list_of_set
2007-10-17, by nipkow
tuned fork_mixfix (back from class.ML);
2007-10-17, by wenzelm
clarified naming conventions of 'parse' and 'check' (as opposed to former 'cert');
2007-10-17, by wenzelm
removed obsolete fork_mixfix (back to theory_target.ML);
2007-10-17, by wenzelm
updated;
2007-10-17, by wenzelm
clarified fork_mixfix
2007-10-16, by haftmann
exported standard_term_check
2007-10-16, by haftmann
global class syntax
2007-10-16, by haftmann
added yield_singleton
2007-10-16, by haftmann
Syntax.(un)check: explicit result option;
2007-10-16, by wenzelm
apply_wrappers: perhaps_apply/loop;
2007-10-16, by wenzelm
added perhaps_apply/loop;
2007-10-16, by wenzelm
Mark A. Hillebrand, DFKI: Robust sub/superscripts in LaTeX document output.
2007-10-16, by wenzelm
updated;
2007-10-16, by wenzelm
DeclareRobustCommand isascriptstyle (enables sub/superscripts within section headings etc.);
2007-10-16, by wenzelm
tuned Const.the_abbreviation;
2007-10-16, by wenzelm
misc cleanup of abbrev/local_const;
2007-10-16, by wenzelm
added revert_abbrev;
2007-10-16, by wenzelm
add_bind: close_schematic_term;
2007-10-16, by wenzelm
tuned hidden_polymorphism;
2007-10-16, by wenzelm
add_abbrev: removed Logic.legacy_varifyT, do not unvarify result (again);
2007-10-16, by wenzelm
the_abbreviation: return plain rhs only;
2007-10-16, by wenzelm
added the "max_sledgehammers" option
2007-10-16, by paulson
Fixed variable naming in mutual induction rules
2007-10-16, by krauss
"sequential" is no longer a keyword. It is still used as before, but as a normal
2007-10-16, by krauss
polished some comments
2007-10-16, by urbanc
unparse_arity: unparse type constructor as well;
2007-10-15, by wenzelm
renamed Consts.the_declaration to Consts.the_type;
2007-10-15, by wenzelm
renamed the_declaration to the_type;
2007-10-15, by wenzelm
tuned
2007-10-15, by haftmann
swapped constant components
2007-10-15, by haftmann
canonical interpretation interface
2007-10-15, by haftmann
prefer first constant component on merge
2007-10-15, by haftmann
explicit parameter for class finite
2007-10-15, by haftmann
tuned comment;
2007-10-15, by wenzelm
more on authentic syntax;
2007-10-15, by wenzelm
updated method "ferrack";
2007-10-15, by wenzelm
interpreter for List.append added again
2007-10-15, by webertj
quick_and_dirty (again) not touched anymore
2007-10-15, by webertj
require_thy: read_text *after* checking parents
2007-10-14, by wenzelm
gen_add_inductive_i: treat abbrevs as local defs, expand by export;
2007-10-14, by wenzelm
tuned various Class interfaces;
2007-10-14, by wenzelm
removed obsolete Class.class_of_locale/locale_of_class;
2007-10-14, by wenzelm
tuned;
2007-10-14, by wenzelm
added add_def;
2007-10-14, by wenzelm
added is_class;
2007-10-14, by wenzelm
PolyML.Compiler.maxInlineSize := 80;
2007-10-13, by wenzelm
abbrev: return hypothetical def;
2007-10-13, by wenzelm
renamed def to define;
2007-10-13, by wenzelm
(un)overload: full rewrite;
2007-10-13, by wenzelm
add_abbrevs: unvarify result;
2007-10-13, by wenzelm
replaced obsolete Theory.add_finals_i by Theory.add_deps;
2007-10-13, by wenzelm
Theory.specify_const: added deps argument;
2007-10-13, by wenzelm
renamed LocalTheory.def to LocalTheory.define;
2007-10-13, by wenzelm

less more | (0) -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 +10000 +30000 tip

isabelle