| Mon, 03 Sep 2007 08:01:35 +0200 | haftmann | fixed Rat.inv | changeset | files |
| Sun, 02 Sep 2007 23:36:21 +0200 | huffman | fix sgn_div_norm class | changeset | files |
| Sun, 02 Sep 2007 12:34:20 +0200 | urbanc | made theorem-references safe | changeset | files |
| Sat, 01 Sep 2007 18:17:44 +0200 | wenzelm | removed unused join_mode; | changeset | files |
| Sat, 01 Sep 2007 18:17:42 +0200 | wenzelm | read_def_terms: replaced full Syntax.check_typs by certify_typ, to workaround problems with illegal schematic type vars; | changeset | files |
| Sat, 01 Sep 2007 18:17:40 +0200 | wenzelm | removed obsolete ML bindings; | changeset | files |
| Sat, 01 Sep 2007 18:17:38 +0200 | wenzelm | linorder_neqE_ordered_idom: proper proof, avoid illegal schematic type vars; | changeset | files |
| Sat, 01 Sep 2007 18:17:36 +0200 | wenzelm | mono_Int/Un: proper proof, avoid illegal schematic type vars; | changeset | files |