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

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
detailed proofs;
1999-04-23, by wenzelm
tuned;
1999-04-23, by wenzelm
oops;
1999-04-23, by wenzelm
fixed IO;
1999-04-22, by wenzelm
improved load paths;
1999-04-22, by wenzelm
single method: include not_elim, imp_elim;
1999-04-22, by wenzelm
more graceful handling of load paths;
1999-04-22, by wenzelm
improved auto dir handling;
1999-04-22, by wenzelm
tuned;
1999-04-22, by wenzelm
make Isabelle rpm packages for Linux/x86 from the distribution;
1999-04-22, by wenzelm
use_thy etc.: may specify path prefix, which is temporarily used as load path;
1999-04-22, by wenzelm
switch_theory: Context.pass;
1999-04-22, by wenzelm
recdef (TFL) now requires theory Recdef;
1999-04-22, by wenzelm
recdef requires theory Recdef;
1999-04-22, by wenzelm
tuned;
1999-04-22, by wenzelm
rep_datatype syntax: 'induction' instead of 'induct';
1999-04-22, by wenzelm
add_recdef: actual simpset;
1999-04-22, by wenzelm
recdef adapted to RecdefPackage.add_recdef;
1999-04-22, by wenzelm

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

isabelle