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/Quotient_Examples/DList.thy
Thu, 26 May 2016 17:51:22 +0200
wenzelm
isabelle update_cartouches -c -t;
file
|
diff
|
annotate
Mon, 06 Jul 2015 19:12:33 +0200
wenzelm
tuned proofs;
file
|
diff
|
annotate
Sun, 02 Nov 2014 18:21:45 +0100
wenzelm
modernized header uniformly as section;
file
|
diff
|
annotate
Tue, 03 Apr 2012 16:26:48 +0200
kuncar
new package Lifting - initial commit
file
|
diff
|
annotate
Fri, 23 Mar 2012 14:17:29 +0100
kuncar
fix Quotient_Examples
file
|
diff
|
annotate
Mon, 26 Dec 2011 22:17:10 +0100
haftmann
incorporated More_Set and More_List into the Main body -- to be consolidated later
file
|
diff
|
annotate
Wed, 12 Oct 2011 20:16:48 +0200
wenzelm
tuned proofs -- eliminated vacuous "induct arbitrary: ..." situations;
file
|
diff
|
annotate
Thu, 18 Aug 2011 16:52:19 +0900
Cezary Kaliszyk
Quotient_Examples/DList: explicit proof of remdups_eq_member_eq needed for explicit set type.
file
|
diff
|
annotate
Tue, 12 Jul 2011 16:00:05 +0900
Cezary Kaliszyk
Quotient example: Lists with distinct elements
file
|
diff
|
annotate
less
more
(0)
tip