Mercurial
Mercurial
>
repos
>
isabelle
/ file revisions
summary
|
shortlog
|
changelog
|
graph
|
tags
|
bookmarks
|
branches
|
file
| revisions |
annotate
|
diff
|
comparison
|
rss
|
help
(0)
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
src/Pure/conjunction.ML
2009-11-02
wenzelm
modernized structure Simple_Syntax;
file
|
diff
|
annotate
2009-10-28
wenzelm
Drule.store: proper binding;
file
|
diff
|
annotate
2009-09-29
wenzelm
modernized Balanced_Tree;
file
|
diff
|
annotate
2009-03-31
wenzelm
added dest_conjunctions (cf. Logic.dest_conjunctions);
file
|
diff
|
annotate
2009-01-21
wenzelm
removed Ids;
file
|
diff
|
annotate
2008-11-19
wenzelm
Pure syntax: more coherent treatment of aprop, permanent TERM and &&&;
file
|
diff
|
annotate
2008-10-23
wenzelm
renamed Thm.get_axiom_i to Thm.axiom;
file
|
diff
|
annotate
2008-04-15
wenzelm
Thm.forall_elim_var(s);
file
|
diff
|
annotate
2008-03-29
wenzelm
certify wrt. dynamic context;
file
|
diff
|
annotate
2008-03-27
wenzelm
eliminated theory ProtoPure;
file
|
diff
|
annotate
2007-10-11
wenzelm
moved Drule.unvarify to Thm.unvarify (cf. more_thm.ML);
file
|
diff
|
annotate
2007-08-13
wenzelm
SimpleSyntax.read_prop;
file
|
diff
|
annotate
2007-07-03
wenzelm
removed obsolete mk_conjunction_list, intr/elim_list;
file
|
diff
|
annotate
2007-06-19
wenzelm
balanced conjunctions;
file
|
diff
|
annotate
2006-11-27
wenzelm
simplified '?' operator;
file
|
diff
|
annotate
2006-09-21
wenzelm
Thm.dest_binop;
file
|
diff
|
annotate
2006-09-12
wenzelm
intr/elim: use constant complexity thanks to tuned Thm.instantiate/implies_elim;
file
|
diff
|
annotate
2006-07-30
wenzelm
Thm.adjust_maxidx;
file
|
diff
|
annotate
2006-07-28
wenzelm
added mk_conjunction_list;
file
|
diff
|
annotate
2006-07-27
wenzelm
eliminated obsolete freeze_thaw;
file
|
diff
|
annotate
2006-04-13
wenzelm
Meta-level conjunction.
file
|
diff
|
annotate
less
more
(0)
tip