diff options
author | 2005-05-17 20:06:12 +0000 | |
---|---|---|
committer | 2005-05-17 20:06:12 +0000 | |
commit | c9058b248b0fbed4fd9db2c55e8741d645a320d0 (patch) | |
tree | b15a22082353a70d28afaf1c3ccfe250e41bee23 /isar/KnasterTarski.thy | |
parent | 744d5d8536863da6fd024d274aead939bbdf06df (diff) |
Fix menu path to Customize
Diffstat (limited to 'isar/KnasterTarski.thy')
0 files changed, 0 insertions, 0 deletions