src/ZF/ex/PropLog.thy
1995-12-09 ago removed quotes from consts and syntax sections
1995-06-22 ago removed \...\ inside strings
1995-03-07 ago Changed Univ to Datatype in parents
1994-11-29 ago replaced "rules" by "defs"
1994-08-12 ago installation of new inductive/datatype sections
1994-07-29 ago ZF/ex/PropLog/sat_XXX: renamed logcon_XXX, since the relation is logical
1993-09-16 ago Initial revision