Mercurial
Mercurial
>
repos
>
isabelle
/ annotate
summary
|
shortlog
|
changelog
|
graph
|
tags
|
bookmarks
|
branches
|
files
|
changeset
|
file
|
latest
|
revisions
| annotate |
diff
|
comparison
|
raw
|
help
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
src/HOL/Real/RealArith0.thy
author
nipkow
Thu, 21 Dec 2000 18:57:12 +0100
changeset 10722
55c8367bab05
child 14275
031a5a051bb4
permissions
-rw-r--r--
rational linear arithmetic
Ignore whitespace changes -
Everywhere:
Within whitespace:
At end of lines:
10722
55c8367bab05
rational linear arithmetic
nipkow
parents:
diff
changeset
1
theory RealArith0 = RealBin
55c8367bab05
rational linear arithmetic
nipkow
parents:
diff
changeset
2
files "real_arith0.ML":
55c8367bab05
rational linear arithmetic
nipkow
parents:
diff
changeset
3
55c8367bab05
rational linear arithmetic
nipkow
parents:
diff
changeset
4
setup real_arith_setup
55c8367bab05
rational linear arithmetic
nipkow
parents:
diff
changeset
5
55c8367bab05
rational linear arithmetic
nipkow
parents:
diff
changeset
6
end