src/HOL/Tools/recdef_package.ML
Tue, 27 Apr 1999 10:50:08 +0200 wenzelm proper quiet_mode;
Thu, 22 Apr 1999 12:50:39 +0200 wenzelm add_recdef: actual simpset;
Tue, 20 Apr 1999 15:20:27 +0200 wenzelm temporarily fake quiet_mode;
Fri, 16 Apr 1999 14:49:09 +0200 wenzelm 'HOL/recdef' theory data;
Wed, 14 Apr 1999 19:05:10 +0200 wenzelm Wrapper module for Konrad Slind's TFL package.
less more (0) tip