diff options
| author | Makarius Wenzel | 2000-03-23 10:42:44 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 2000-03-23 10:42:44 +0000 |
| commit | 11e63b3a7392884e0842245bf38d6e33fc0c5d2d (patch) | |
| tree | a9c364826fb007ad89f3c75b609a82db2d7f90e9 /isa/Example.thy | |
| parent | 7e300cb821c3725e4624e74a8bf6d469185dcc5f (diff) | |
added 'moreover';
Diffstat (limited to 'isa/Example.thy')
0 files changed, 0 insertions, 0 deletions