diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1999-10-21 18:18:46 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1999-10-21 18:18:46 +0000 |
| commit | 67e0cc01492d7b5be16fa6f8621760818c043844 (patch) | |
| tree | 48404eb31e1b4a24c1fd3dc79f9e7ef1ed10d66c /etc/isa | |
| parent | 4036c2e9491d6692b86c8feedaefb095044403c3 (diff) | |
Trivial changes
Diffstat (limited to 'etc/isa')
| -rw-r--r-- | etc/isa/multiple/B.ML | 4 | ||||
| -rw-r--r-- | etc/isa/multiple/C.ML | 1 |
2 files changed, 3 insertions, 2 deletions
diff --git a/etc/isa/multiple/B.ML b/etc/isa/multiple/B.ML index cbf6322f..e0226516 100644 --- a/etc/isa/multiple/B.ML +++ b/etc/isa/multiple/B.ML @@ -1,4 +1,4 @@ (* Scripting buffer for theory B *) -val a = (); -val it = (); +val b = 0; +val b1 = 1; diff --git a/etc/isa/multiple/C.ML b/etc/isa/multiple/C.ML index f144a610..4ad965a2 100644 --- a/etc/isa/multiple/C.ML +++ b/etc/isa/multiple/C.ML @@ -1,3 +1,4 @@ (* Scripting buffer for theory C *) +val c1 = 4; val c = 5; |