equal
deleted
inserted
replaced
3 Author: Walther Neuper 000301 |
3 Author: Walther Neuper 000301 |
4 (c) due to copyright terms |
4 (c) due to copyright terms |
5 + see WN, Reactive User-Guidance ... Vers. Oct.2000 p.48 ff |
5 + see WN, Reactive User-Guidance ... Vers. Oct.2000 p.48 ff |
6 *) |
6 *) |
7 |
7 |
8 theory Descript imports "ProgLang/Script" begin |
8 theory Descript imports "../ProgLang/Script" begin |
9 (*theory Descript imports "../ProgLang/Script" begin*) |
|
10 |
9 |
11 consts |
10 consts |
12 |
11 |
13 someList :: "'a list => unl" (*not for elementwise input, eg. inssort*) |
12 someList :: "'a list => unl" (*not for elementwise input, eg. inssort*) |
14 |
13 |