| Thu, 22 Dec 2005 12:27:10 +0100 | paulson | Fixed a use of an outdated Substring function | changeset | files |
| Thu, 22 Dec 2005 00:41:26 +0100 | wenzelm | tuned; | changeset | files |
| Thu, 22 Dec 2005 00:29:22 +0100 | wenzelm | exh_casedist2: norm_hhf_eq; | changeset | files |
| Thu, 22 Dec 2005 00:29:20 +0100 | wenzelm | added bicompose_no_flatten, which refrains from | changeset | files |
| Thu, 22 Dec 2005 00:29:19 +0100 | wenzelm | bicompose_proof: no_flatten; | changeset | files |
| Thu, 22 Dec 2005 00:29:18 +0100 | wenzelm | conclude/SELECT: Thm.bicompose_no_flatten avoids unsolicited modification of result; | changeset | files |