equal
deleted
inserted
replaced
8 signature ARGS = |
8 signature ARGS = |
9 sig |
9 sig |
10 type src |
10 type src |
11 val src: xstring * Position.T -> Token.T list -> src |
11 val src: xstring * Position.T -> Token.T list -> src |
12 val name_of_src: src -> string * Position.T |
12 val name_of_src: src -> string * Position.T |
13 val args_of_src: src -> Token.T list |
|
14 val range_of_src: src -> Position.T |
13 val range_of_src: src -> Position.T |
15 val unparse_src: src -> string list |
14 val unparse_src: src -> string list |
16 val pretty_src: Proof.context -> src -> Pretty.T |
15 val pretty_src: Proof.context -> src -> Pretty.T |
17 val check_src: Proof.context -> 'a Name_Space.table -> src -> src * 'a |
16 val check_src: Proof.context -> 'a Name_Space.table -> src -> src * 'a |
18 val transform_values: morphism -> src -> src |
17 val transform_values: morphism -> src -> src |