| Mon, 08 Nov 2010 23:02:20 +0100 | krauss | removed type-inference-like behaviour from relation_tac completely; tuned | changeset | files |
| Mon, 08 Nov 2010 20:55:27 +0100 | wenzelm | avoid clash of \<upharpoonright> vs. \<restriction> (cf. 666ea7e62384 and 3c49dbece0a8); | changeset | files |
| Mon, 08 Nov 2010 20:50:56 +0100 | wenzelm | explicitly check uniqueness of symbol recoding; | changeset | files |