changeset 1287 | 84f44b84d584 |
parent 1128 | 64b30e3cc6d4 |
child 1301 | 42782316d510 |
1286:ae25649cbbb1 | 1287:84f44b84d584 |
---|---|
1 (* Title: HOL/trancl.thy |
1 (* Title: HOL/Trancl.thy |
2 ID: $Id$ |
2 ID: $Id$ |
3 Author: Lawrence C Paulson, Cambridge University Computer Laboratory |
3 Author: Lawrence C Paulson, Cambridge University Computer Laboratory |
4 Copyright 1992 University of Cambridge |
4 Copyright 1992 University of Cambridge |
5 |
5 |
6 Relfexive and Transitive closure of a relation |
6 Relfexive and Transitive closure of a relation |