diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2008-07-19 16:09:36 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2008-07-19 16:09:36 +0000 |
| commit | 2d36a06815bcb1868805cf7f03d2573e5ab406ab (patch) | |
| tree | 369c3dae9fc5c117c5f0023f1ab3066045f9cd3b /etc/isar | |
| parent | acc66a4c5e2c75510b8c75b9e11f714300950e07 (diff) | |
New files.
Diffstat (limited to 'etc/isar')
| -rw-r--r-- | etc/isar/multiple/E.thy | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/etc/isar/multiple/E.thy b/etc/isar/multiple/E.thy new file mode 100644 index 00000000..02d62020 --- /dev/null +++ b/etc/isar/multiple/E.thy @@ -0,0 +1,4 @@ +theory E imports C D +begin + +end |