Attic/old/Regular.thy
changeset 379 8c4b6fb43ebe
parent 170 b1258b7d2789
equal deleted inserted replaced
378:a0bcf886b8ef 379:8c4b6fb43ebe