diff options
Diffstat (limited to 'etc/isa/multiple/C.ML')
| -rw-r--r-- | etc/isa/multiple/C.ML | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/etc/isa/multiple/C.ML b/etc/isa/multiple/C.ML deleted file mode 100644 index 4ad965a2..00000000 --- a/etc/isa/multiple/C.ML +++ /dev/null @@ -1,4 +0,0 @@ -(* Scripting buffer for theory C *) - -val c1 = 4; -val c = 5; |