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/Pure/defs.ML
Mon, 13 Jun 2005 21:28:57 +0200
obua
internalize axiom names in Defs.define; compress types via Term.compress_type
file
|
diff
|
annotate
Sat, 11 Jun 2005 12:55:25 +0200
obua
further optimizations of cycle test
file
|
diff
|
annotate
Tue, 07 Jun 2005 06:39:39 +0200
obua
1) Fixed bug in Defs.merge_edges_1.
file
|
diff
|
annotate
Fri, 03 Jun 2005 01:08:07 +0200
obua
Integrates cycle detection in definitions with finalconsts
file
|
diff
|
annotate
Wed, 01 Jun 2005 21:25:35 +0200
obua
Preliminary version of defs.ML that does not check final consts.
file
|
diff
|
annotate
Tue, 31 May 2005 19:32:41 +0200
obua
Removed final_consts from theory data. Now const_deps deals with final
file
|
diff
|
annotate
Mon, 30 May 2005 16:32:47 +0200
obua
Infinite chains in definitions are now detected, too.
file
|
diff
|
annotate
Sun, 29 May 2005 12:39:12 +0200
obua
Implement cycle-free overloading, so that definitions cannot harm consistency any more (except of course via interaction with axioms).
file
|
diff
|
annotate
less
more
(0)
tip