changeset 1476 | 608483c2122a |
parent 1302 | ddfdcc9ce667 |
child 3439 | 54785105178c |
--- a/src/HOL/Lambda/Commutation.thy Mon Feb 05 21:27:16 1996 +0100 +++ b/src/HOL/Lambda/Commutation.thy Mon Feb 05 21:29:06 1996 +0100 @@ -1,6 +1,6 @@ -(* Title: HOL/Lambda/Commutation.thy +(* Title: HOL/Lambda/Commutation.thy ID: $Id$ - Author: Tobias Nipkow + Author: Tobias Nipkow Copyright 1995 TU Muenchen Abstract commutation and confluence notions.