Tue, 02 Sep 1997 11:25:32 +0200 | oheimb | added case_prover | changeset | files |
Thu, 21 Aug 1997 12:57:24 +0200 | paulson | Simplified the statement of A_trusts_NS2 | changeset | files |
Thu, 21 Aug 1997 12:56:29 +0200 | paulson | Replacing impOfSubs analz_mono by analz_insertI should improve convergence | changeset | files |
Thu, 21 Aug 1997 12:55:10 +0200 | paulson | Renamed set_of_list to set, and relevant theorems too | changeset | files |
Thu, 21 Aug 1997 12:54:20 +0200 | paulson | Replaced Suc(Suc 0) by 2; it improves readability a little | changeset | files |
Thu, 21 Aug 1997 12:53:23 +0200 | paulson | Renamed theorems of the form set_of_list_XXX to set_XXX | changeset | files |