| Mon, 25 May 1998 21:14:00 +0200 | wenzelm | renamed state_source to source'; | file | diff | annotate |
| Wed, 20 May 1998 18:58:13 +0200 | wenzelm | changed get_single: ('a, 'b) source -> 'a option * ('a, 'b) source; | file | diff | annotate |
| Tue, 19 May 1998 17:16:18 +0200 | wenzelm | prompt made part of source; | file | diff | annotate |
| Mon, 18 May 1998 18:08:58 +0200 | wenzelm | Co-algebraic data sources. | file | diff | annotate |