| Mon, 11 Jun 2007 02:24:39 +0200 | huffman | add lemma of_nat_power | changeset | files |
| Mon, 11 Jun 2007 01:22:29 +0200 | huffman | add int_of_nat versions of lemmas about int::nat=>int | changeset | files |
| Mon, 11 Jun 2007 00:53:18 +0200 | huffman | add abbreviation int_of_nat for of_nat::nat=>int; | changeset | files |
| Sun, 10 Jun 2007 23:48:27 +0200 | wenzelm | disabled theory "Reflected_Presburger" for smlnj (temporarily); | changeset | files |
| Sun, 10 Jun 2007 21:06:59 +0200 | wenzelm | disabled theories MIR and ReflectedFerrack for smlnj (temporarily); | changeset | files |
| Sun, 10 Jun 2007 10:23:42 +0200 | nipkow | *** empty log message *** | changeset | files |
| Sat, 09 Jun 2007 02:38:51 +0200 | huffman | remove dependencies of proofs on constant int::nat=>int, preparing to remove it | changeset | files |
| Sat, 09 Jun 2007 00:28:47 +0200 | wenzelm | eqtype int -- explicitly encourage overloaded equality; | changeset | files |