changeset 29138 | 661a8db7e647 |
parent 27316 | 9e74019041d4 |
child 31076 | 99fe356cbbc2 |
--- a/src/HOLCF/Fix.thy Tue Dec 16 21:18:53 2008 -0800 +++ b/src/HOLCF/Fix.thy Tue Dec 16 21:31:55 2008 -0800 @@ -1,8 +1,5 @@ (* Title: HOLCF/Fix.thy - ID: $Id$ Author: Franz Regensburger - -Definitions for fixed point operator and admissibility. *) header {* Fixed point operator and admissibility *}