diff options
| author | David Aspinall | 1998-11-12 15:24:16 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-11-12 15:24:16 +0000 |
| commit | dabf671d6bb3adf20d6840743441208e641ef059 (patch) | |
| tree | 38966ead767614072139ce8eaf257afcb0e6119f /isa | |
| parent | b99d5190fa2d8973044bdc16c25c8f606f5efb71 (diff) | |
Added section on theory files to Isabelle chapter
Diffstat (limited to 'isa')
0 files changed, 0 insertions, 0 deletions