Sat, 20 Mar 2010 17:33:11 +0100 | wenzelm | renamed varify/unvarify operations to varify_global/unvarify_global to emphasize that these only work in a global situation; | file | diff | annotate |
Sun, 07 Mar 2010 12:19:47 +0100 | wenzelm | modernized structure Object_Logic; | file | diff | annotate |
Sat, 27 Feb 2010 23:13:01 +0100 | wenzelm | modernized structure Term_Ord; | file | diff | annotate |
Wed, 27 Jan 2010 11:47:17 +0100 | berghofe | Changed author; removed debugging code. | file | diff | annotate |
Mon, 25 Jan 2010 16:19:42 +0100 | bulwahn | adding Mutabelle to repository | file | diff | annotate |