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/HOL/Presburger.thy
Wed, 19 May 2004 11:23:59 +0200
chaieb
A new implementation for presburger arithmetic following the one suggested in technical report Chaieb Amine and Tobias Nipkow. It is generic an smaller.
file
|
diff
|
annotate
Tue, 11 May 2004 20:11:08 +0200
obua
changes made due to new Ring_and_Field theory
file
|
diff
|
annotate
Fri, 16 Apr 2004 04:07:10 +0200
wenzelm
tuned document;
file
|
diff
|
annotate
Thu, 25 Mar 2004 10:32:21 +0100
paulson
new material from Avigad
file
|
diff
|
annotate
Tue, 10 Feb 2004 12:02:11 +0100
paulson
generic of_nat and of_int functions, and generalization of iszero
file
|
diff
|
annotate
Mon, 12 Jan 2004 16:51:45 +0100
paulson
Added lemmas to Ring_and_Field with slightly modified simplification rules
file
|
diff
|
annotate
Wed, 03 Dec 2003 10:49:34 +0100
paulson
Simplification of the development of Integers
file
|
diff
|
annotate
Tue, 05 Aug 2003 17:57:39 +0200
nipkow
cleaned up
file
|
diff
|
annotate
Tue, 25 Mar 2003 09:47:05 +0100
berghofe
New decision procedure for Presburger arithmetic.
file
|
diff
|
annotate
less
more
(0)
tip