Prelude.thy
changeset 44 5a7e02dcd3d5
parent 35 d2ddce8b36fd
equal deleted inserted replaced
43:cb4403fabda7 44:5a7e02dcd3d5