Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary
|
shortlog
|
changelog
| graph |
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
less
more
|
(0)
-10000
-3000
-1000
-300
-100
-56
+56
+100
+300
+1000
+3000
+10000
+30000
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
The revision graph only works with JavaScript-enabled browsers.
dropped HOL.ML
2007-05-06, by haftmann
tuned
2007-05-06, by haftmann
updated Alice version;
2007-05-06, by wenzelm
IntInf.fromInt;
2007-05-06, by wenzelm
added "set" supression
2007-05-06, by nipkow
added test about "set" supression
2007-05-06, by nipkow
polished all proofs and made the theory "self-contained"
2007-05-04, by urbanc
deleted some unnecessary type-annotations
2007-05-03, by urbanc
tuned some of the proofs and added the lemma fresh_bool
2007-05-03, by urbanc
tuned allpairs
2007-05-02, by nipkow
tuned some proofs and changed variable names in some definitions of Nominal.thy
2007-05-02, by urbanc
added allpairs
2007-04-30, by nipkow
removed obsolete get_sg;
2007-04-30, by wenzelm
explicit treatment of legacy_features;
2007-04-30, by wenzelm
Fixing bugs in the partial-typed and fully-typed translations
2007-04-30, by paulson
Removal of dead code
2007-04-30, by paulson
tuned some proofs in CR and properly included CR_Takahashi
2007-04-27, by urbanc
removed obsolete induct/simp tactic;
2007-04-27, by wenzelm
alternative and much simpler proof for Church-Rosser of Beta-Reduction
2007-04-27, by urbanc
use correct email program for sunbroy2
2007-04-27, by kleing
removed legacy ML files;
2007-04-26, by wenzelm
eliminated unnamed infixes;
2007-04-26, by wenzelm
added header;
2007-04-26, by wenzelm
added header;
2007-04-26, by wenzelm
added
2007-04-26, by haftmann
removed lagacy ML files;
2007-04-26, by wenzelm
updated;
2007-04-26, by wenzelm
eliminated unnamed infixes;
2007-04-26, by wenzelm
renamed some old names Theory.xxx to Sign.xxx;
2007-04-26, by wenzelm
eliminated unnamed infixes;
2007-04-26, by wenzelm
added header;
2007-04-26, by wenzelm
eliminated unnamed infixes, tuned syntax;
2007-04-26, by wenzelm
clarified naming policy
2007-04-26, by haftmann
clarified semantics of merge
2007-04-26, by haftmann
moved stuff to Char_nat.thy
2007-04-26, by haftmann
tuned
2007-04-26, by haftmann
slightly tuned
2007-04-26, by haftmann
replaced recdef by function
2007-04-26, by haftmann
cleaned up code generator setup for int
2007-04-26, by haftmann
added lemmatas
2007-04-26, by haftmann
moved code generation pretty integers and characters to separate theories
2007-04-26, by haftmann
updated doc
2007-04-26, by haftmann
mk_const_def: Sign.intern_term (legacy);
2007-04-26, by wenzelm
renamed some old names Theory.xxx to Sign.xxx;
2007-04-26, by wenzelm
updated;
2007-04-26, by wenzelm
add the lemma supp_eqvt and put the right attribute
2007-04-25, by narboux
new lemma splice_length
2007-04-25, by nipkow
fix sml compilation
2007-04-25, by narboux
Moved function params_of to inductive_package.ML.
2007-04-25, by berghofe
Moved functions infer_intro_vars, arities_of, params_of, and
2007-04-25, by berghofe
Added functions arities_of, params_of, partition_rules, and
2007-04-25, by berghofe
eqvt_tac now instantiates introduction rules before applying them.
2007-04-25, by berghofe
update fresh_fun_simp for debugging purposes
2007-04-24, by narboux
fixes last commit
2007-04-24, by narboux
add two lemmas dealing with freshness on permutations.
2007-04-24, by narboux
Added datatype_case.ML and nominal_fresh_fun.ML.
2007-04-24, by berghofe
less
more
|
(0)
-10000
-3000
-1000
-300
-100
-56
+56
+100
+300
+1000
+3000
+10000
+30000
tip