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/Cube/Cube.thy
author
obua
Tue, 07 Jun 2005 20:04:41 +0200
changeset 16313
79b37d5e50b1
parent 11260
b736de4cb913
child 17252
e352f65d5893
permissions
-rw-r--r--
A flag DEFS_CHAIN_HISTORY can be used to improve the error message in case a cycle has been detected. If it is switched off and a cycle has been detected, the user is notified that there is such a flag.
Ignore whitespace changes -
Everywhere:
Within whitespace:
At end of lines:
3773
989ef5e9d543
syntactic constants;
wenzelm
parents:
1149
diff
changeset
1
11260
b736de4cb913
renaming of theory LOmega to lomega2 in order to prevent a possible
paulson
parents:
4583
diff
changeset
2
Cube = Base + L2 + Lomega + LP + LP2 + Lomega2 + LPomega + CC
0
a5a9c433f639
Initial revision
clasohm
parents:
diff
changeset
3