src/FOLP/ifolp.thy
changeset 4932 c90411dde8e8
parent 283 76caebd18756
equal deleted inserted replaced
4931:2ec84dee7911 4932:c90411dde8e8