Sun, 07 Mar 2010 12:19:47 +0100 | modernized structure Object_Logic; | file | diff | annotate |
Sat, 27 Feb 2010 23:13:01 +0100 | modernized structure Term_Ord; | file | diff | annotate |
Wed, 27 Jan 2010 11:47:17 +0100 | Changed author; removed debugging code. | file | diff | annotate |
Mon, 25 Jan 2010 16:19:42 +0100 | adding Mutabelle to repository | file | diff | annotate |