Nominal/Ex/Test.thy
changeset 1857 591cc76da570
parent 1795 e39453c8b186
child 2045 6800fcaafa2a
equal deleted inserted replaced
1849:f075359f1fd5 1857:591cc76da570