| Wed, 10 Aug 2011 18:02:16 -0700 | huffman | avoid warnings about duplicate rules | file | diff | annotate |
| Wed, 06 Apr 2011 13:33:46 +0200 | wenzelm | typed_print_translation: discontinued show_sorts argument; | file | diff | annotate |
| Wed, 06 Apr 2011 12:58:13 +0200 | wenzelm | moved unparse material to syntax_phases.ML; | file | diff | annotate |
| Wed, 30 Jun 2010 16:28:13 +0200 | haftmann | split off Cardinality from Numeral_Type | file | diff | annotate | base |