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 |