Tue, 21 Mar 2006 12:18:10 +0100 wenzelm abbreviation upto, length;
Tue, 21 Mar 2006 12:18:09 +0100 wenzelm added subtract;
Tue, 21 Mar 2006 12:18:07 +0100 wenzelm subtract (op =);
Tue, 21 Mar 2006 12:18:06 +0100 wenzelm remove (op =);
Tue, 21 Mar 2006 12:17:38 +0100 paulson Now SML/NJ-friendly (IntInf)
Tue, 21 Mar 2006 12:16:43 +0100 paulson Removal of unnecessary simprules: simproc cancel_numerals now works without
Mon, 20 Mar 2006 21:29:04 +0100 wenzelm interpret: Proof.assert_forward_or_chain;
Mon, 20 Mar 2006 17:38:22 +0100 paulson subsetI is often necessary
Mon, 20 Mar 2006 17:37:11 +0100 paulson Now the setup for cancel_numerals accepts mixed Sucs/+ where the Sucs no longer
Mon, 20 Mar 2006 17:15:35 +0100 ballarin Tuned signature of Locale.add_locale(_i).
Sat, 18 Mar 2006 20:10:51 +0100 wenzelm simplified mg_domain (use Sign.classes/arities_of);
Sat, 18 Mar 2006 20:10:50 +0100 wenzelm made $$ and "this" monomorphic (string);
Sat, 18 Mar 2006 20:10:49 +0100 wenzelm tuned;
Sat, 18 Mar 2006 20:10:48 +0100 wenzelm export arities_of instead of classes_arities_of;
Sat, 18 Mar 2006 18:33:49 +0100 wenzelm updated;
(0) -10000 -3000 -1000 -300 -100 -15 +15 +100 +300 +1000 +3000 +10000 +30000 tip