Sun, 21 Oct 2007 16:27:42 +0200 | wenzelm | modernized specifications ('definition', 'axiomatization'); | changeset | files |
Sun, 21 Oct 2007 14:53:44 +0200 | nipkow | Eliminated most of the neq0_conv occurrences. As a result, many | changeset | files |
Sun, 21 Oct 2007 14:21:54 +0200 | wenzelm | context_const_ast_tr: proper const_syntax_name (cf. @{const_syntax}); | changeset | files |