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/Provers/quasi.ML
2009-10-22
haftmann
map_range (and map_index) combinator
file
|
diff
|
annotate
2009-10-15
wenzelm
replaced String.concat by implode;
file
|
diff
|
annotate
2009-09-29
wenzelm
explicit indication of Unsynchronized.ref;
file
|
diff
|
annotate
2009-07-30
wenzelm
trancl_tac etc.: back to static context -- problem was caused by bad solver in AFP/JiveDataStoreModel;
file
|
diff
|
annotate
2009-07-30
wenzelm
qualified Subgoal.FOCUS;
file
|
diff
|
annotate
2009-07-29
wenzelm
trans_tac: use theory from goal state, not the static context, which seems to be outdated under certain circumstances (why?);
file
|
diff
|
annotate
2009-07-26
wenzelm
replaced old METAHYPS by FOCUS;
file
|
diff
|
annotate
2008-12-31
wenzelm
qualified Term.rename_wrt_term;
file
|
diff
|
annotate
2007-04-03
wenzelm
removed obsolete sign_of/sign_of_thm;
file
|
diff
|
annotate
2006-03-11
wenzelm
got rid of type Sign.sg;
file
|
diff
|
annotate
2005-03-03
skalberg
Move towards standard functions.
file
|
diff
|
annotate
2005-02-13
skalberg
Deleted Library.option type.
file
|
diff
|
annotate
2004-08-03
ballarin
New transitivity reasoners for transitivity only and quasi orders.
file
|
diff
|
annotate
less
more
(0)
tip