| Fri, 06 Jan 2012 22:16:01 +0100 | haftmann | moved lemmas about List.set and set operations to List theory | file | diff | annotate |
| Sat, 24 Dec 2011 15:53:10 +0100 | haftmann | dropped references to obsolete fact `mem_def` | file | diff | annotate |
| Sun, 28 Aug 2011 08:12:54 +0200 | haftmann | corrected slip | file | diff | annotate |
| Sat, 27 Aug 2011 09:44:45 +0200 | haftmann | Cset, Dlist_Cset, List_Cset: restructured | file | diff | annotate |
| Fri, 26 Aug 2011 23:02:00 +0200 | haftmann | adapted to changes in Cset.thy | file | diff | annotate |
| Tue, 26 Jul 2011 14:05:28 +0200 | Andreas Lochbihler | fixed code generator setup in List_Cset | file | diff | annotate |
| Mon, 25 Jul 2011 16:55:48 +0200 | Andreas Lochbihler | added operations to Cset with code equations in backing implementations | file | diff | annotate |
| Thu, 09 Jun 2011 08:31:41 +0200 | bulwahn | local simp rule in List_Cset | file | diff | annotate |
| Tue, 07 Jun 2011 11:12:05 +0200 | bulwahn | splitting Cset into Cset and List_Cset | file | diff | annotate |