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

enable_interrupt is back!
2002-03-01, by wenzelm
tuned;
2002-02-28, by wenzelm
renamed mask_interrupt to ignore_interrupt;
2002-02-28, by wenzelm
renamed mask_interrupt to ignore_interrupt;
2002-02-28, by wenzelm
renamed mask_interrupt to ignore_interrupt;
2002-02-28, by wenzelm
use ignore_interrupt, raise_interrupt;
2002-02-28, by wenzelm
delete .cvsignore;
2002-02-28, by wenzelm
export THIS_IS_ISABELLE_ADMIN=true;
2002-02-28, by wenzelm
fixed date;
2002-02-28, by wenzelm
more stuff;
2002-02-28, by wenzelm
moved match_bvs, match_bvars, renAbs to term.ML;
2002-02-28, by wenzelm
added match_bvars, rename_abs (from thm.ML);
2002-02-28, by wenzelm
rewrite_term: Term.rename_abs;
2002-02-28, by wenzelm
decomp_simp': use lhs instead of elhs (preserves more bound variable names);
2002-02-28, by wenzelm
included LBVSpec again
2002-02-28, by kleing
updated;
2002-02-28, by wenzelm
contexts, locales, sym(metric);
2002-02-28, by wenzelm
fixing nat_combine_numerals simprocs (again)
2002-02-28, by paulson
enforce positive branch targets
2002-02-28, by kleing
fixed missing label
2002-02-28, by kleing
fixed document
2002-02-28, by kleing
tuned feedback of goal forms;
2002-02-27, by wenzelm
improved messages;
2002-02-27, by wenzelm
tuned local goal forms;
2002-02-27, by wenzelm
'declare': and_list1;
2002-02-27, by wenzelm
tuned;
2002-02-27, by wenzelm
'using' command;
2002-02-27, by wenzelm
renamed 'uses' to 'includes';
2002-02-27, by wenzelm
tuned;
2002-02-27, by wenzelm
Some simple properties of dynamic accessibility added.
2002-02-27, by schirmer
Cleaning up the definition of static overriding.
2002-02-27, by schirmer
tuned;
2002-02-26, by wenzelm
quote "includes" (now a keyword);
2002-02-26, by wenzelm
clarified localized multi statements;
2002-02-26, by wenzelm
added smart_have_thmss (global storage);
2002-02-26, by wenzelm
clarified multi statements;
2002-02-26, by wenzelm
clarified general_statement syntax;
2002-02-26, by wenzelm
renamed "uses" to "includes";
2002-02-26, by wenzelm
updated;
2002-02-26, by wenzelm
markup commands: proper theory/proof transactions!
2002-02-26, by wenzelm
tuned long_statement;
2002-02-26, by wenzelm
introduces SystemClasses and BVExample
2002-02-26, by kleing
*** empty log message ***
2002-02-26, by nipkow
Fixed the natxx_cancel_numerals simprocs so that they pull out Sucs and
2002-02-26, by paulson
*** empty log message ***
2002-02-26, by nipkow
*** empty log message ***
2002-02-26, by nipkow
Isar_examples/W_correct moved to W0;
2002-02-26, by wenzelm
tuned;
2002-02-26, by wenzelm
converted;
2002-02-26, by wenzelm
added check_text;
2002-02-25, by wenzelm
export locale_target, locale_keyword;
2002-02-25, by wenzelm
markup commands moved to isar_cmd.ML;
2002-02-25, by wenzelm
updated markup commands;
2002-02-25, by wenzelm
export eval_antiquote;
2002-02-25, by wenzelm
markup commands (from isar_thy.ML) with proper check of antiquotations;
2002-02-25, by wenzelm
clarified syntax of ``long'' statements: fixes/assumes/shows;
2002-02-25, by wenzelm
clarify module dependencies;
2002-02-25, by wenzelm
updated;
2002-02-25, by wenzelm
Clarification wrt. use of polymorphic variants of Hoare logic rules
2002-02-25, by oheimb
Introduced variants of operators + * ~ constrained to type int
2002-02-25, by berghofe

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

isabelle