Wed, 01 Dec 2010 15:46:27 +0100 | haftmann | use type constructor as name for variable | file | diff | annotate |
Wed, 01 Dec 2010 11:46:20 +0100 | haftmann | optional explicit prefix for type mapper theorems | file | diff | annotate |
Wed, 01 Dec 2010 11:33:17 +0100 | haftmann | file for package tool type_mapper carries the same name as its Isar command | file | diff | annotate | base |