diff options
| author | David Aspinall | 2000-07-03 11:28:28 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-07-03 11:28:28 +0000 |
| commit | fff9a45d7770058207e5b510284d0019efc56919 (patch) | |
| tree | 4ad08e4871eb4384a8791d4a5aa985a570dc47e5 /isa/Example.ML | |
| parent | 87e2337e6ed2beec88704f0f41d8133a4752ac5a (diff) | |
Patch to cope gracefully with empty list of Isabelle documents.
Diffstat (limited to 'isa/Example.ML')
0 files changed, 0 insertions, 0 deletions