| 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 |