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/HOLCF/ex/Pattern_Match.thy
Sat, 30 Oct 2010 15:13:11 -0700
huffman
change default_sort of HOLCF from pcpo to bifinite; rename command 'new_domain' to 'domain'; rename 'domain' to 'domain (unsafe)'
file
|
diff
|
annotate
Fri, 29 Oct 2010 17:15:28 -0700
huffman
renamed {Rep,Abs}_CFun to {Rep,Abs}_cfun
file
|
diff
|
annotate
Fri, 29 Oct 2010 16:51:40 -0700
huffman
renamed lemma cont2cont_Rep_CFun to cont2cont_APP
file
|
diff
|
annotate
Wed, 27 Oct 2010 14:15:54 -0700
huffman
make syntax of continuous if-then-else consistent with HOL if-then-else
file
|
diff
|
annotate
Sat, 16 Oct 2010 16:22:42 -0700
huffman
remove last few dependencies on domain_library.ML and delete it; temporarily disable emptiness check
file
|
diff
|
annotate
Mon, 20 Sep 2010 16:05:25 +0200
wenzelm
renamed structure PureThy to Pure_Thy and moved most content to Global_Theory, to emphasize that this is global-only;
file
|
diff
|
annotate
Mon, 24 May 2010 11:29:49 -0700
huffman
move unused pattern match syntax stuff into HOLCF/ex
file
|
diff
|
annotate
less
more
(0)
tip