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/HOLCF/Algebraic.thy
Sun, 13 Mar 2011 22:55:50 +0100
wenzelm
tuned headers;
file
|
diff
|
annotate
Tue, 04 Jan 2011 15:32:56 -0800
huffman
change some lemma names containing 'UU' to 'bottom'
file
|
diff
|
annotate
Wed, 22 Dec 2010 18:24:04 -0800
huffman
rename function ideal_completion.basis_fun to ideal_completion.extension
file
|
diff
|
annotate
Sun, 19 Dec 2010 09:52:33 -0800
huffman
replace foo_approx functions with foo_emb, foo_prj functions for universal domain embeddings
file
|
diff
|
annotate
Sun, 19 Dec 2010 06:34:41 -0800
huffman
type 'defl' takes a type parameter again (cf. b525988432e9)
file
|
diff
|
annotate
Sun, 19 Dec 2010 05:15:31 -0800
huffman
reintroduce 'bifinite' class, now with existentially-quantified approx function (cf. b525988432e9)
file
|
diff
|
annotate
Wed, 01 Dec 2010 20:29:39 -0800
huffman
reformulate lemma preorder.ex_ideal, and use it for typedefs
file
|
diff
|
annotate
Sat, 27 Nov 2010 16:08:10 -0800
huffman
moved directory src/HOLCF to src/HOL/HOLCF;
file
|
diff
|
annotate
|
base
less
more
(0)
tip