Wed, 15 Dec 2010 08:39:24 +0100 | boehmes | tuned | file | diff | annotate |
Wed, 01 Dec 2010 13:09:08 +0100 | wenzelm | just one Term.dest_funT; | file | diff | annotate |
Mon, 22 Nov 2010 15:45:43 +0100 | boehmes | share and use more utility functions; | file | diff | annotate |
Mon, 22 Nov 2010 15:45:42 +0100 | boehmes | added prove reconstruction for injective functions; | file | diff | annotate |