diff options
| author | David Aspinall | 2009-08-14 12:55:24 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-08-14 12:55:24 +0000 |
| commit | 04c792a2ee92892304baa6d13534ca3d68cc9175 (patch) | |
| tree | b788fa84bdf9740c66b2c26139242b5e30b2034c /isar/Example.thy | |
| parent | 5a855bb5075574763d02248e57bd705643be84f1 (diff) | |
Start refactoring to support more sophisticated queue handling, by adding flags to proof action list
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions