isabelle: Graph

Mercurial Mercurial > repos > isabelle / graph

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

tuned defer_recdef interfaces;
1999-04-30, by wenzelm
comment, interest;
1999-04-30, by wenzelm
Comment.text;
1999-04-30, by wenzelm
comment sections;
1999-04-30, by wenzelm
dummy patterns;
1999-04-30, by wenzelm
added Isar/comment.ML;
1999-04-30, by wenzelm
val foldl_map_aterms: ('a * term -> 'a * term) -> 'a * term -> 'a * term;
1999-04-30, by wenzelm
theory data: copy;
1999-04-30, by wenzelm
theory data: copy;
1999-04-30, by wenzelm
improved icons;
1999-04-30, by wenzelm
Isabelle icons;
1999-04-30, by wenzelm
patched sum_case;
1999-04-30, by wenzelm
Obsolete because JDK 1.1.x contains a class ScrollPane
1999-04-29, by berghofe
Updated to JDK 1.1.x
1999-04-29, by berghofe
Proof mods due to eta contraction during rewriting.
1999-04-29, by nipkow
Eta contraction is now performed all the time during rewriting.
1999-04-29, by nipkow
currently disabled;
1999-04-29, by wenzelm
*** empty log message ***
1999-04-29, by wenzelm
made many specification operators infix
1999-04-29, by paulson
eliminated theory UNITY/Traces
1999-04-28, by paulson
improper simp methods;
1999-04-27, by wenzelm
tuned;
1999-04-27, by wenzelm
fold / unfold methods;
1999-04-27, by wenzelm
tuned;
1999-04-27, by wenzelm
no Toplevel.print for by, ., ..;
1999-04-27, by wenzelm
improved print_state;
1999-04-27, by wenzelm
verbose flag;
1999-04-27, by wenzelm
use_thy_only made pervasive;
1999-04-27, by wenzelm
added Isar_examples/NatSum.thy;
1999-04-27, by wenzelm
Old stuff.
1999-04-27, by nipkow
proper quiet_mode;
1999-04-27, by wenzelm
adapted add_inductive, add_record;
1999-04-27, by wenzelm
adapted add_inductive;
1999-04-27, by wenzelm
intrs attributes;
1999-04-27, by wenzelm
proper quiet_mode;
1999-04-27, by wenzelm
iff_add_global (from simpdata.ML);
1999-04-27, by wenzelm
support forward chaining;
1999-04-27, by wenzelm
tuned;
1999-04-27, by wenzelm
added Isar_examples/Cantor.ML;
1999-04-27, by wenzelm
hol_setup, simpdata_setup;
1999-04-27, by wenzelm
"iff" attribute;
1999-04-27, by wenzelm
hol_setup;
1999-04-27, by wenzelm
"!" made keyword;
1999-04-27, by wenzelm
opt_thm_name: name optional;
1999-04-27, by wenzelm
added oooo;
1999-04-27, by wenzelm
fixed a bug many years old in rule plusEC
1999-04-26, by paulson
tuned msgs;
1999-04-26, by wenzelm
tuned;
1999-04-23, by wenzelm
tuned;
1999-04-23, by wenzelm
elaborated;
1999-04-23, by wenzelm
tuned;
1999-04-23, by wenzelm
tuned antiquotations;
1999-04-23, by wenzelm
improved 'single' method;
1999-04-23, by wenzelm
added thus, hence;
1999-04-23, by wenzelm
added FINISHED, same_tac;
1999-04-23, by wenzelm
use /usr/share and /usr/bin;
1999-04-23, by wenzelm
Now for recdefs that omit the WF relation;
1999-04-23, by paulson
Now for recdefs that omit the WF relation
1999-04-23, by paulson
Addition of Auth/KerberosIV; renaming of rules.new.sml to rules.sml
1999-04-23, by paulson
chgrp isabelle;
1999-04-23, by wenzelm

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

isabelle