| Thu, 22 Dec 2005 00:28:58 +0100 | wenzelm | mk_conjunction: proper treatment of bounds; | changeset | files |
| Thu, 22 Dec 2005 00:28:54 +0100 | wenzelm | fixed has_internal; | changeset | files |
| Thu, 22 Dec 2005 00:28:53 +0100 | wenzelm | Tactic.precise_conjunction_tac; | changeset | files |
| Thu, 22 Dec 2005 00:28:52 +0100 | wenzelm | added locale meta_conjunction_syntax and various conjunction rules; | changeset | files |