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 -50 -30 +30 +50 +100 +300 +1000 +3000 +10000 +30000 tip

added Higher_Order_Logic.thy;
2001-12-04, by wenzelm
rules_tac: SELECT_GOAL!!;
2001-12-04, by wenzelm
disable markup of tracing output (tmp?);
2001-12-04, by wenzelm
\usepackage{textcomp};
2001-12-04, by wenzelm
removed \newcommand{\isasymone};
2001-12-04, by wenzelm
hyp_subst_tac';
2001-12-04, by wenzelm
setup "rules" method;
2001-12-04, by wenzelm
no need for hyp_subst_tac' (!?);
2001-12-04, by wenzelm
renamed RuleContext to ContextRules;
2001-12-04, by wenzelm
\usepackage{textcomp}, \usepackage{marvosym};
2001-12-04, by wenzelm
renamed rule_context.ML to context_rules.ML;
2001-12-03, by wenzelm
setup "rules" method;
2001-12-03, by wenzelm
interface for wrappers;
2001-12-03, by wenzelm
added "rules" method;
2001-12-03, by wenzelm
removed questionable init_gensym;
2001-12-03, by wenzelm
hyp_subst_tac';
2001-12-03, by wenzelm
use \<zero>, \<one>;
2001-12-03, by wenzelm
\renewcommand{\isasymzero}, \renewcommand{\isasymone};
2001-12-03, by wenzelm
updated;
2001-12-03, by wenzelm
HOLogic.read_cterm;
2001-12-03, by wenzelm
HOLogic.typeS;
2001-12-03, by wenzelm
removed dead code;
2001-12-01, by wenzelm
renamed class "term" to "type" (actually "HOL.type");
2001-12-01, by wenzelm
added zero--nine, euro;
2001-12-01, by wenzelm
%\usepackage{textcomp}
2001-12-01, by wenzelm
* HOL: the class of all HOL types is now called "type" rather than
2001-12-01, by wenzelm
*** empty log message ***
2001-11-30, by nipkow
minor tweaks
2001-11-30, by paulson
*** empty log message ***
2001-11-29, by nipkow
*** empty log message ***
2001-11-29, by nipkow

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

isabelle