Sat, 07 Nov 2009 08:17:53 +0100 | haftmann | added predicate example | file | diff | annotate |
Fri, 30 Oct 2009 13:59:49 +0100 | haftmann | moved Commutative_Ring into session Decision_Procs | file | diff | annotate |
Wed, 21 Oct 2009 12:02:56 +0200 | haftmann | curried union as canonical list operation | file | diff | annotate |
Tue, 01 Sep 2009 15:39:33 +0200 | haftmann | some reorganization of number theory | file | diff | annotate |
Mon, 29 Jun 2009 12:18:55 +0200 | haftmann | renamed theory Code_Set to Fset | file | diff | annotate |
Thu, 25 Jun 2009 17:07:18 +0200 | haftmann | added List_Set and Code_Set theories | file | diff | annotate |
Sun, 21 Jun 2009 15:45:42 +0200 | haftmann | removed temporariy workarounds | file | diff | annotate |
Thu, 04 Jun 2009 16:55:20 +0200 | haftmann | added trees implementing mappings | file | diff | annotate |
Tue, 02 Jun 2009 15:53:07 +0200 | haftmann | tuned code generator test theories | file | diff | annotate | base |