Thu, 22 Apr 1999 12:50:39 +0200 | wenzelm | add_recdef: actual simpset; | file | diff | annotate |
Tue, 20 Apr 1999 15:20:27 +0200 | wenzelm | temporarily fake quiet_mode; | file | diff | annotate |
Fri, 16 Apr 1999 14:49:09 +0200 | wenzelm | 'HOL/recdef' theory data; | file | diff | annotate |
Wed, 14 Apr 1999 19:05:10 +0200 | wenzelm | Wrapper module for Konrad Slind's TFL package. | file | diff | annotate |