isabelle: Graph

Mercurial Mercurial > repos > isabelle / graph

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

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

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

isabelle