diff options
| author | Pierre Courtieu | 2002-06-11 20:31:42 +0000 |
|---|---|---|
| committer | Pierre Courtieu | 2002-06-11 20:31:42 +0000 |
| commit | 2796a661a0c57be12fe7310ada6bb7519de23c63 (patch) | |
| tree | 0442ace36a7fe7b9d137a0aa9ef33a4225ee9bc8 /isa/Example.thy | |
| parent | 3ccc1ddd5424523184c7f0e559efcaa6237b83f1 (diff) | |
Added changes in CHANGE about my new customization variables
coq-user-backable-command etc.
Diffstat (limited to 'isa/Example.thy')
0 files changed, 0 insertions, 0 deletions