diff options
| author | David Aspinall | 2009-08-07 14:40:46 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-08-07 14:40:46 +0000 |
| commit | 7b0b49cdc9fa9883b1fcd246608b7dc5fac7b5b2 (patch) | |
| tree | e54e0b123d4a8c1e7347f4fea7872272f80d41a6 /isar/Example.thy | |
| parent | b4a8dafffec6c5fc44228760bd227617086581e0 (diff) | |
Remove experimental setting. Define toggle function.
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions