| Wed, 06 Apr 2011 13:33:46 +0200 | typed_print_translation: discontinued show_sorts argument; | file | diff | annotate |
| Wed, 06 Apr 2011 12:58:13 +0200 | moved unparse material to syntax_phases.ML; | file | diff | annotate |
| Wed, 30 Jun 2010 16:28:13 +0200 | split off Cardinality from Numeral_Type | file | diff | annotate | base |