| Thu, 20 Mar 2008 17:38:54 +0100 | wenzelm | get_thms etc.: improved reporting of source position; | changeset | files |
| Thu, 20 Mar 2008 17:38:53 +0100 | wenzelm | added pos_of_ref; | changeset | files |
| 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 |
| Thu, 20 Mar 2008 12:01:11 +0100 | haftmann | tuned proof | changeset | files |
| Thu, 20 Mar 2008 12:01:10 +0100 | haftmann | added theory Library/Enum.thy | changeset | files |
| Thu, 20 Mar 2008 12:01:09 +0100 | haftmann | tuned proofs | changeset | files |
| Thu, 20 Mar 2008 00:20:51 +0100 | wenzelm | simplified get_thm(s): back to plain name argument; | changeset | files |
| Thu, 20 Mar 2008 00:20:49 +0100 | wenzelm | renamed former get_thms(_silent) to get_fact(_silent); | changeset | files |
| Thu, 20 Mar 2008 00:20:48 +0100 | wenzelm | simplified get_thm(s): back to plain name argument; | changeset | files |
| Thu, 20 Mar 2008 00:20:44 +0100 | wenzelm | simplified get_thm(s): back to plain name argument; | changeset | files |
| Wed, 19 Mar 2008 22:50:42 +0100 | wenzelm | more antiquotations; | changeset | files |
| Wed, 19 Mar 2008 22:47:39 +0100 | wenzelm | avoid Auto_tac; | changeset | files |
| Wed, 19 Mar 2008 22:47:38 +0100 | wenzelm | more antiquotations; | changeset | files |