[Lemma 1]


The Lemma 1 scrapbook is an evolving miscellany of specification and programming examples and other odds and ends that someone, somewhere, may perhaps find interesting or instructive. The material is a by-product of various activities; feel free to use it as you please subject to the terms of the GNU General Public licence.

Currently the scrapbook has the following pages:

Created by Rob Arthan [rda at lemma-one dot com]
Last updated: $Date: 2003/04/22 17:00:32 $
[Lemma 1]