changeset 32960 | 69916a850301 |
parent 24893 | b8ef7afe3a6b |
child 46823 | 57bf0cecb366 |
--- a/src/ZF/UNITY/Guar.thy Sat Oct 17 01:05:59 2009 +0200 +++ b/src/ZF/UNITY/Guar.thy Sat Oct 17 14:43:18 2009 +0200 @@ -1,5 +1,4 @@ (* Title: ZF/UNITY/Guar.thy - ID: $Id \<in> Guar.thy,v 1.3 2001/11/15 14:51:43 ehmety Exp $ Author: Sidi O Ehmety, Computer Laboratory Copyright 2001 University of Cambridge