| Thu, 20 Mar 2008 16:54:11 +0100 | wenzelm | fixed proof; | changeset | files |
| Thu, 20 Mar 2008 16:28:23 +0100 | berghofe | Equivariance prover now uses permutation simprocs as well. | changeset | files |
| Thu, 20 Mar 2008 16:04:34 +0100 | wenzelm | export add/del_thm; | changeset | files |
| Thu, 20 Mar 2008 16:04:32 +0100 | wenzelm | added print_properties, print_position; | changeset | files |
| Thu, 20 Mar 2008 16:04:30 +0100 | wenzelm | Facts.Named: include position; | changeset | files |
| Thu, 20 Mar 2008 12:09:22 +0100 | haftmann | tuned proofs | changeset | files |
| Thu, 20 Mar 2008 12:09:20 +0100 | haftmann | more antiquotations | changeset | files |
| Thu, 20 Mar 2008 12:04:54 +0100 | haftmann | Product_Type.apfst and Product_Type.apsnd; mbind combinator; tuned | changeset | files |
| Thu, 20 Mar 2008 12:04:53 +0100 | haftmann | added forward composition | changeset | files |
| Thu, 20 Mar 2008 12:02:52 +0100 | haftmann | Product_Type.apfst and Product_Type.apsnd | changeset | files |
| Thu, 20 Mar 2008 12:02:51 +0100 | haftmann | Theory Product_Type; fixed typos | changeset | files |
| Thu, 20 Mar 2008 12:01:17 +0100 | haftmann | rearranged | changeset | files |
| Thu, 20 Mar 2008 12:01:16 +0100 | haftmann | (continued) | changeset | files |
| Thu, 20 Mar 2008 12:01:14 +0100 | haftmann | tuned | changeset | files |
| Thu, 20 Mar 2008 12:01:13 +0100 | haftmann | tuned import | changeset | files |
| Thu, 20 Mar 2008 12:01:12 +0100 | haftmann | adjusted authorship | changeset | files |