isabelle: Graph

Mercurial Mercurial > repos > isabelle / graph

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

added proper subset symbols syntax;
1997-02-25, by wenzelm
minor changes due to primrec defintions for +,-,*
1997-02-25, by pusch
minor changes due to new primrec definitions for +,-,*
1997-02-25, by pusch
definitions of +,-,* replaced by primrec definitions
1997-02-25, by pusch
function nat_add_primrec added to allow primrec definitions over nat
1997-02-25, by pusch
removed explicit_domains/, which is now covered by ex/
1997-02-24, by oheimb
added "_" syntax for dummyT;
1997-02-24, by wenzelm
declared the dummy type;
1997-02-21, by wenzelm
replaced natural by subset;
1997-02-21, by wenzelm
tuned symbolic [|_|] syntax;
1997-02-21, by wenzelm
tuned some chars;
1997-02-21, by wenzelm
More robust proof (?)
1997-02-21, by paulson
Replaced "flat" by the Basis Library function List.concat
1997-02-21, by paulson
Introduction of rotate_rule
1997-02-21, by paulson
removed empty line (which broke xfedor);
1997-02-21, by wenzelm
don't hack, use xfed or xfedor;
1997-02-21, by wenzelm
fixed Id comment;
1997-02-21, by wenzelm
makedist -- make Isabelle distribution.
1997-02-20, by wenzelm
tuned URL;
1997-02-20, by wenzelm
added index info;
1997-02-20, by wenzelm
index info;
1997-02-20, by wenzelm
added dist;
1997-02-20, by wenzelm
some administrative tools for the Isabelle;
1997-02-20, by wenzelm
made a bit more robust for 'make dist';
1997-02-20, by wenzelm
rail output;
1997-02-20, by wenzelm
fixed rail.sty dep;
1997-02-20, by wenzelm
added this file;
1997-02-20, by wenzelm
rail output;
1997-02-20, by wenzelm
made a bit more robust;
1997-02-20, by wenzelm
manual steps comment;
1997-02-17, by wenzelm
*** empty log message ***
1997-02-17, by wenzelm
described changes for HOLCF-Version without rules and arities
1997-02-17, by slotosch
file moved;
1997-02-17, by wenzelm
file moved here;
1997-02-17, by wenzelm
configure - adapt Isabelle distribution to system environment
1997-02-17, by wenzelm
improved description of recent changes
1997-02-17, by oheimb
reflecting recent changes of the simplifier
1997-02-17, by slotosch
corrected type of plift
1997-02-17, by oheimb
reflecting recent changes of the simplifier
1997-02-17, by oheimb
mk_rews: automatically includes strip_shyps, zero_var_indexes;
1997-02-17, by wenzelm
New file for theorems of Porder0
1997-02-17, by slotosch
tuned comments;
1997-02-17, by wenzelm
Examples are adopted to the changes from HOLCF.
1997-02-17, by slotosch
using types one = unit lift and translations causes troubles between
1997-02-17, by slotosch
Changes of HOLCF from Oscar Slotosch:
1997-02-17, by slotosch
*** empty log message ***
1997-02-15, by oheimb
reflecting my recent changes of the classical reasoner
1997-02-15, by oheimb
reflecting my recent changes of the simplifier and classical reasoner
1997-02-15, by oheimb
added delcongs, Delcongs, unsafe_solver, safe_solver, HOL_basic_ss,
1997-02-15, by oheimb
cosmetic
1997-02-15, by oheimb
updated mini_ss
1997-02-15, by oheimb
added delcongs, Delcongs, unsafe_solver, safe_solver, FOL_basic_ss,
1997-02-15, by oheimb
corrected minor mistakes
1997-02-15, by oheimb
description of safe vs. unsafe wrapper and the functions involved
1997-02-15, by oheimb
moved THEN_MAYBE to Pure/tctical.ML
1997-02-15, by oheimb
added deleqcongs, richer rep_ss
1997-02-15, by oheimb
description of del(eq)congs, safe and unsafe solver
1997-02-15, by oheimb
added THEN_MAYBE and THEN_MAYBE'
1997-02-15, by oheimb
added del_congs
1997-02-15, by oheimb
Some lemmas changed to valuesd
1997-02-14, by narasche

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

isabelle