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

*** empty log message ***
2001-01-10, by nipkow
use \<acute>;
2001-01-10, by wenzelm
added \<dieresis>, \<acute>, \<cedilla>, \<emptyset>;
2001-01-10, by wenzelm
added acute, cedilla, dieresis, hungarumlaut;
2001-01-09, by wenzelm
` -> $
2001-01-09, by nipkow
*** empty log message ***
2001-01-09, by nipkow
`` -> ` and ``` -> ``
2001-01-09, by nipkow
`` -> and ``` -> ``
2001-01-09, by nipkow
replaced \<macron> by \<inverse>;
2001-01-09, by wenzelm
avoid renaming of params in cases;
2001-01-09, by wenzelm
split_all operation;
2001-01-09, by wenzelm
improved evaluation judgment syntax; modified Loop rule
2001-01-09, by oheimb
syntax (xsymbols);
2001-01-09, by wenzelm
Removed Applyall
2001-01-08, by nipkow
additional pattern allows reduction of fractions to lowest terms
2001-01-08, by paulson
*** empty log message ***
2001-01-08, by nipkow
updated;
2001-01-07, by wenzelm
removed ID (avoid CVS conflicts with generated versions);
2001-01-07, by wenzelm
CHANGED_PROP;
2001-01-07, by wenzelm
removed MicroJava/BV/Convert.thy;
2001-01-07, by wenzelm
do not AutoBind.drop_judgment;
2001-01-07, by wenzelm
tuned output;
2001-01-07, by wenzelm
tuned norm_hhf(_tac);
2001-01-07, by wenzelm
added is_norm_hhf;
2001-01-07, by wenzelm
removed outdated comment;
2001-01-07, by wenzelm
case binds: AutoBind.drop_judgment;
2001-01-07, by wenzelm
tuned split_all_tac;
2001-01-07, by wenzelm
merged semilattice orders with <=' from Convert.thy (now defined in JVMType.thy)
2001-01-07, by kleing
support ?case binding;
2001-01-06, by wenzelm
apply_case: more robust handling of bounds;
2001-01-06, by wenzelm

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

isabelle