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