isabelle: Graph

Mercurial Mercurial > repos > isabelle / graph

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

case_tac / induct_tac: optional rule;
2000-04-04, by wenzelm
case_tac, induct_tac;
2000-04-04, by wenzelm
'let': replaced 'as' by 'and';
2000-04-04, by wenzelm
tuned recover;
2000-04-03, by wenzelm
isapar, isamarkuptext, isamarkuptxt turned into environments;
2000-04-03, by wenzelm
markup_env_command 'text' / 'txt';
2000-04-03, by wenzelm
support markup environments;
2000-04-03, by wenzelm
tuned presentation;
2000-04-01, by wenzelm
proper naming of fib equations;
2000-04-01, by wenzelm
recdef: admit names/atts;
2000-04-01, by wenzelm
isatool document: tuned -c option;
2000-04-01, by wenzelm
recdef: admit name and atts;
2000-04-01, by wenzelm
tuned -c option;
2000-04-01, by wenzelm
recover: observe stopper;
2000-04-01, by wenzelm
presentation ignore stuff: swallow newline;
2000-04-01, by wenzelm
added is_newline;
2000-04-01, by wenzelm
'cd': diag;
2000-04-01, by wenzelm
more robust handling of explicit rules;
2000-04-01, by wenzelm
tuned mixfix syntax;
2000-04-01, by wenzelm
added ProofGeneral.undo;
2000-04-01, by wenzelm
isatool document: check output file (workaround PolyML problem with RC);
2000-04-01, by wenzelm
use cong_add_global att;
2000-03-31, by wenzelm
added cong atts;
2000-03-31, by wenzelm
added cong atts;
2000-03-31, by wenzelm
made SML/XL happy;
2000-03-31, by wenzelm
change_global/local_css move to Provers/clasimp.ML;
2000-03-31, by wenzelm
setup cong_attrib_setup;
2000-03-31, by wenzelm
added change_global/local_css;
2000-03-31, by wenzelm
added 'cong' att;
2000-03-31, by wenzelm
tuned;
2000-03-31, by wenzelm

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

isabelle