Sun, 28 Jun 2009 11:02:27 +0200 | haftmann | Executable_Set now based on Code_Set | file | diff | annotate |
Sun, 28 Jun 2009 10:33:36 +0200 | haftmann | added Inter, Union | file | diff | annotate |
Thu, 25 Jun 2009 17:07:18 +0200 | haftmann | added List_Set and Code_Set theories | file | diff | annotate |