thys/Simplifying.thy
changeset 336 44914e2724b7
parent 293 1a4e5b94293b
equal deleted inserted replaced
335:f5ab2f02d148 336:44914e2724b7