| changeset 69605 | a96320074298 |
| parent 69593 | 3dda49e08b9d |
| child 74302 | 6bc96f31cafd |
| 69604:d80b2df54d31 | 69605:a96320074298 |
|---|---|
142 parse_translation \<open>[(\<^syntax_const>\<open>_Side\<close>, K side_tr)]\<close> |
142 parse_translation \<open>[(\<^syntax_const>\<open>_Side\<close>, K side_tr)]\<close> |
143 |
143 |
144 |
144 |
145 subsection \<open>Proof tools\<close> |
145 subsection \<open>Proof tools\<close> |
146 |
146 |
147 ML_file "prover.ML" |
147 ML_file \<open>prover.ML\<close> |
148 |
148 |
149 end |
149 end |