diff options
Diffstat (limited to 'etc/isa/multiple/C.thy')
| -rw-r--r-- | etc/isa/multiple/C.thy | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/etc/isa/multiple/C.thy b/etc/isa/multiple/C.thy index 57816cd3..3316eaee 100644 --- a/etc/isa/multiple/C.thy +++ b/etc/isa/multiple/C.thy @@ -4,4 +4,7 @@ Logic Image: Pure *) -C = A + B +theory C = A + B +files "foobar/foo.ML": + +end |