Nominal/Manual/Term4.thy
changeset 2312 ad03df7e8056
parent 2149 95aac598a526
child 2326 b51532dd5689
equal deleted inserted replaced
2311:4da5c5c29009 2312:ad03df7e8056