Thu, 30 Oct 1997 10:01:46 +0100 | wenzelm | tuned; | file | diff | annotate |
Tue, 28 Oct 1997 17:36:16 +0100 | wenzelm | added ignored_consts, thms_containing, add_store_axioms(_i), | file | diff | annotate |
Mon, 27 Oct 1997 16:01:53 +0100 | wenzelm | oops; | file | diff | annotate |
Mon, 27 Oct 1997 15:57:50 +0100 | wenzelm | renamed put_* to store_*; | file | diff | annotate |
Fri, 24 Oct 1997 18:02:23 +0200 | wenzelm | oops, swap warnings; | file | diff | annotate |
Fri, 24 Oct 1997 17:11:23 +0200 | wenzelm | Init 'theorems' data. The Pure theories. | file | diff | annotate |