src/ZF/ex/PropLog.thy
1994-08-12 lcp 1994-08-12 installation of new inductive/datatype sections
1994-07-29 lcp 1994-07-29 ZF/ex/PropLog/sat_XXX: renamed logcon_XXX, since the relation is logical consequence rather than satisfaction
1993-09-16 clasohm 1993-09-16 Initial revision