| Sun, 28 Jun 2009 11:02:27 +0200 | haftmann | Executable_Set now based on Code_Set | file | diff | annotate |
| Mon, 23 Mar 2009 08:14:58 +0100 | haftmann | Main is (Complex_Main) base entry point in library theories | file | diff | annotate |
| Thu, 05 Mar 2009 08:23:11 +0100 | haftmann | set operations Int, Un, INTER, UNION, Inter, Union, empty, UNIV are now proper qualified constants with authentic syntax | file | diff | annotate |