Fri, 19 Nov 2010 10:37:06 +0100 | haftmann | made smlnj happy | file | diff | annotate |
Thu, 18 Nov 2010 17:06:02 +0100 | haftmann | more appropriate name for property | file | diff | annotate |
Thu, 18 Nov 2010 10:59:42 +0100 | haftmann | keep variables bound | file | diff | annotate |
Wed, 17 Nov 2010 17:27:25 +0100 | haftmann | infer variances of user-given mapper operation; proper thm storing | file | diff | annotate |
Wed, 17 Nov 2010 12:24:58 +0100 | haftmann | emerging Isar command interface | file | diff | annotate |
Wed, 17 Nov 2010 11:38:47 +0100 | haftmann | fixed typo | file | diff | annotate |
Wed, 17 Nov 2010 11:27:48 +0100 | haftmann | ML signature interface | file | diff | annotate |
Wed, 17 Nov 2010 11:26:39 +0100 | haftmann | stub for Isar command interface | file | diff | annotate |
Wed, 17 Nov 2010 11:09:18 +0100 | haftmann | module for functorial mappers | file | diff | annotate |