Wed, 19 Aug 1998 10:27:49 +0200 | paulson | tidied | changeset | files |
Wed, 19 Aug 1998 10:27:25 +0200 | paulson | fixed overloading of "image" | changeset | files |
Wed, 19 Aug 1998 10:27:00 +0200 | paulson | Overloading decl should assist Blast_tac | changeset | files |
Wed, 19 Aug 1998 10:26:37 +0200 | paulson | less_imp_diff_positive is redundant with new simprule zero_less_diff | changeset | files |
Wed, 19 Aug 1998 10:26:02 +0200 | paulson | Some new theorems. zero_less_diff replaces less_imp_diff_positive | changeset | files |
Tue, 18 Aug 1998 10:27:14 +0200 | paulson | ZF.thy | changeset | files |
Tue, 18 Aug 1998 10:25:13 +0200 | paulson | new theorem Un_Diff_Int | changeset | files |