equal
deleted
inserted
replaced
45 val print_context: Toplevel.transition -> Toplevel.transition |
45 val print_context: Toplevel.transition -> Toplevel.transition |
46 val print_theory: Toplevel.transition -> Toplevel.transition |
46 val print_theory: Toplevel.transition -> Toplevel.transition |
47 val print_syntax: Toplevel.transition -> Toplevel.transition |
47 val print_syntax: Toplevel.transition -> Toplevel.transition |
48 val print_theorems: Toplevel.transition -> Toplevel.transition |
48 val print_theorems: Toplevel.transition -> Toplevel.transition |
49 val print_locales: Toplevel.transition -> Toplevel.transition |
49 val print_locales: Toplevel.transition -> Toplevel.transition |
50 val print_locale: xstring -> Toplevel.transition -> Toplevel.transition |
50 val print_locale: Locale.expr -> Toplevel.transition -> Toplevel.transition |
51 val print_attributes: Toplevel.transition -> Toplevel.transition |
51 val print_attributes: Toplevel.transition -> Toplevel.transition |
52 val print_induct_rules: Toplevel.transition -> Toplevel.transition |
52 val print_induct_rules: Toplevel.transition -> Toplevel.transition |
53 val print_trans_rules: Toplevel.transition -> Toplevel.transition |
53 val print_trans_rules: Toplevel.transition -> Toplevel.transition |
54 val print_methods: Toplevel.transition -> Toplevel.transition |
54 val print_methods: Toplevel.transition -> Toplevel.transition |
55 val print_antiquotations: Toplevel.transition -> Toplevel.transition |
55 val print_antiquotations: Toplevel.transition -> Toplevel.transition |