Print theorem names fully qualified
authorJoachim Breitner <mail@joachim-breitner.de>
Fri, 19 Dec 2014 11:59:30 +0000 (12:59 +0100)
committerJoachim Breitner <mail@joachim-breitner.de>
Fri, 19 Dec 2014 11:59:30 +0000 (12:59 +0100)
commit33ca52735b20fa69bea76a50e71fc119ed698704
treea43eaf06be4c3f5e33cb87f80bee3d95233fd140
parent9c4607165c0be78fd6a0a13311af0c1c48097e5f
Print theorem names fully qualified
where_to_move.ML