Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary
|
shortlog
|
changelog
| graph |
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
less
more
|
(0)
-10000
-3000
-1000
-300
-100
-14
+14
+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.
fixed dpll solver (now uses NNF)
2004-04-02, by webertj
- Experimental command for instantiation of locales in proof contexts:
2004-04-02, by ballarin
variable renamings and other cosmetic changes
2004-04-02, by paulson
updated treatment of znegative and nat_of
2004-04-02, by paulson
introduced fast_arith_neq_limit
2004-04-02, by nipkow
got rid of ignore_neq again.
2004-04-02, by nipkow
Experimental command for instantiation of locales in proof contexts:
2004-04-02, by ballarin
ignore_neq also influences arith_tac now, not just fast_arith_tac
2004-04-02, by nipkow
Added ignore_neq flag.
2004-04-02, by nipkow
removal of Binary Trees examples prepratory to its going into AFP
2004-04-01, by paulson
new type class abelian_group
2004-04-01, by paulson
Added check that Theory.ML does not occur in the files section of the theory
2004-03-31, by skalberg
Lex now in AFP
2004-03-31, by nipkow
HOL/Lex is now in AFP/Functional-Automata
2004-03-31, by nipkow
less
more
|
(0)
-10000
-3000
-1000
-300
-100
-14
+14
+100
+300
+1000
+3000
+10000
+30000
tip