changeset 32153 | a0e57fb1b930 |
parent 24825 | c4f13ab78f9d |
child 42156 | df219e736a5d |
32152:53716a67c3b1 | 32153:a0e57fb1b930 |
---|---|
1 (* Title: CCL/Trancl.thy |
1 (* Title: CCL/Trancl.thy |
2 ID: $Id$ |
|
3 Author: Martin Coen, Cambridge University Computer Laboratory |
2 Author: Martin Coen, Cambridge University Computer Laboratory |
4 Copyright 1993 University of Cambridge |
3 Copyright 1993 University of Cambridge |
5 *) |
4 *) |
6 |
5 |
7 header {* Transitive closure of a relation *} |
6 header {* Transitive closure of a relation *} |