diff options
| author | David Aspinall | 2009-05-26 13:59:38 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-05-26 13:59:38 +0000 |
| commit | 5ca24c4d1c683f71312831cb4f2b913a961d5030 (patch) | |
| tree | 916ed39e3c6bb3d392e5292be6f05b5623229738 /isar/Example.thy | |
| parent | 428235d44085f32f47557d921fbb2057a2996df2 (diff) | |
Remove process-live-p, move complete autoload to use point
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions