isabelle: Graph

Mercurial Mercurial > repos > isabelle / graph

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

adaptated to changes in term representation
2009-06-30, by haftmann
improved treatment of case patterns
2009-06-30, by haftmann
merged
2009-06-30, by haftmann
an intermediate step towards a refined translation of cases
2009-06-30, by haftmann
all variable names are optional
2009-06-30, by haftmann
variable names in abstractions are optional
2009-06-30, by haftmann
restored
2009-06-30, by haftmann
added isatest for x86_64-darwin;
2009-06-30, by wenzelm
merged
2009-06-30, by wenzelm
NEWS updated
2009-06-30, by hoelzl
DERIV_ln is proved in Transcendental and in Ln, use Transcendental to prove Ln.
2009-06-30, by hoelzl
remove DERIV_tac and deriv_tac, neither is used in Isabelle/HOL or the AFP
2009-06-30, by hoelzl
use DERIV_intros
2009-06-30, by hoelzl
Added DERIV_intros
2009-06-30, by hoelzl
commented trancl example; added debug message
2009-06-30, by bulwahn
merged
2009-06-30, by bulwahn
exported is_registered; added debug messages; removed extended parameter compilation in predicate compiler
2009-06-30, by bulwahn
added diagnostic printing; changed proof for parameters; moved code
2009-06-29, by bulwahn
merged
2009-06-30, by haftmann
simplified binding concept
2009-06-30, by haftmann
temporary workaround
2009-06-30, by haftmann
tuned
2009-06-30, by haftmann
streamlined code
2009-06-30, by haftmann
dropped id
2009-06-30, by haftmann
mutual instances
2009-06-29, by haftmann
canonical prefix for datatype derivates
2009-06-29, by haftmann
tuned
2009-06-29, by haftmann
check for correct proof output
2009-06-30, by immler
fixed: count constants with supplementary lemmas
2009-06-30, by immler
removed latex markup - there is no document generated from Decision_Procs/ex
2009-06-30, by hoelzl
Implemented taylor series expansion for approximation
2009-06-29, by hoelzl
renamed Swing to Swing_Thread, to avoid overlap with scala.swing.Swing;
2009-06-30, by wenzelm
merged
2009-06-30, by wenzelm
more display;
2009-06-30, by wenzelm
added icon;
2009-06-30, by wenzelm
basic launch4j setup;
2009-06-30, by wenzelm
fixed permissions;
2009-06-30, by wenzelm
fixed permissions;
2009-06-30, by wenzelm
Corrected handling of bound variables.
2009-06-29, by berghofe
merged
2009-06-29, by haftmann
dropped Id
2009-06-29, by haftmann
explicit Set constructor for code generated for sets
2009-06-29, by haftmann
hide popular names
2009-06-29, by haftmann
Executable_Set is now a simple wrapper around Fset
2009-06-29, by haftmann
renamed theory Code_Set to Fset
2009-06-29, by haftmann
updated generated document
2009-06-29, by haftmann
Executable_Set now based on Code_Set
2009-06-28, by haftmann
added Inter, Union
2009-06-28, by haftmann
more precise dependencies for "jars";
2009-06-28, by wenzelm
improved display;
2009-06-28, by wenzelm
display some platform information;
2009-06-28, by wenzelm
discontinued separate "pdf" archive -- since it is now relatively small compared to the main archive, there is no point to fragment things;
2009-06-28, by wenzelm
merged
2009-06-28, by wenzelm
check if conjectures have been used in proof
2009-06-28, by immler
return number of first conjecture-clause and number of conjecture-clauses;
2009-06-28, by immler
use structure File instead of TextIO;
2009-06-28, by immler
whitelist for HOL problems with ext:
2009-06-28, by immler
always include whitelist;
2009-06-28, by immler
check for current versions on server
2009-06-28, by immler
relevance filter with the same parameters for remote-versions
2009-06-28, by immler

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

isabelle