Thu, 28 Mar 1996 17:27:54 +0100 | berghofe | Added functions pr_latex and printgoal_latex which | changeset | files |
Thu, 28 Mar 1996 17:21:58 +0100 | berghofe | Optimized type inference (avoids chains of | changeset | files |
Thu, 28 Mar 1996 12:36:50 +0100 | paulson | Moved even/odd lemmas from ex/Mutil to Arith | changeset | files |