Precedence_ord.thy
changeset 127 38c6acf03f68
parent 63 b620a2a0806a
child 197 ca4ddf26a7c7
equal deleted inserted replaced
126:a88af0e4731f 127:38c6acf03f68