Fri, 30 Mar 2012 18:56:02 +0200 |
dropped now obsolete Cset theories
|
file | diff | annotate |
Mon, 12 Mar 2012 21:41:11 +0100 |
tuned proofs
|
file | diff | annotate |
Fri, 06 Jan 2012 21:48:45 +0100 |
incorporated various theorems from theory More_Set into corpus
|
file | diff | annotate |
Fri, 06 Jan 2012 10:19:49 +0100 |
incorporated canonical fold combinator on lists into body of List theory; refactored passages on List.fold(l/r)
|
file | diff | annotate |
Mon, 26 Dec 2011 22:17:10 +0100 |
incorporated More_Set and More_List into the Main body -- to be consolidated later
|
file | diff | annotate |
Mon, 26 Dec 2011 18:32:43 +0100 |
moved various set operations to theory Set (resp. Product_Type)
|
file | diff | annotate |
Sat, 24 Dec 2011 15:53:10 +0100 |
adjusted to set/pred distinction by means of type constructor `set`
|
file | diff | annotate |
Sun, 28 Aug 2011 08:43:25 +0200 |
tuned
|
file | diff | annotate |
Sat, 27 Aug 2011 09:44:45 +0200 |
Cset, Dlist_Cset, List_Cset: restructured
|
file | diff | annotate |
Fri, 26 Aug 2011 21:11:23 +0200 |
separating predicates and sets syntactically
|
file | diff | annotate |
Mon, 25 Jul 2011 16:55:48 +0200 |
added operations to Cset with code equations in backing implementations
|
file | diff | annotate |
Tue, 07 Jun 2011 11:12:05 +0200 |
splitting Cset into Cset and List_Cset
|
file | diff | annotate |
Tue, 11 Jan 2011 14:12:37 +0100 |
"enriched_type" replaces less specific "type_lifting"
|
file | diff | annotate |
Tue, 21 Dec 2010 17:52:23 +0100 |
tuned type_lifting declarations
|
file | diff | annotate |
Mon, 06 Dec 2010 09:19:10 +0100 |
replace `type_mapper` by the more adequate `type_lifting`
|
file | diff | annotate |
Mon, 22 Nov 2010 17:46:51 +0100 |
replaced misleading Fset/fset name -- these do not stand for finite sets
|
file | diff | annotate | base |