Fri, 06 Jan 2012 10:19:49 +0100 | haftmann | incorporated canonical fold combinator on lists into body of List theory; refactored passages on List.fold(l/r) | file | diff | annotate |
Sun, 01 Jan 2012 11:28:45 +0100 | haftmann | cleanup of code declarations | file | diff | annotate |
Thu, 29 Dec 2011 15:14:44 +0100 | haftmann | added implementation of pred_of_set | file | diff | annotate |
Thu, 29 Dec 2011 10:47:55 +0100 | haftmann | attribute code_abbrev superseedes code_unfold_post | 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 | base |