| Mon, 24 Mar 2008 17:09:34 +0100 | wenzelm | simplified thm_antiq; | changeset | files |
| Mon, 24 Mar 2008 17:09:33 +0100 | wenzelm | removed unused print_properties, print_position; | changeset | files |
| Mon, 24 Mar 2008 16:05:25 +0100 | wenzelm | replaced obsolete /usr/proj by /home; | changeset | files |
| Mon, 24 Mar 2008 15:59:56 +0100 | wenzelm | replaced obsolete /usr/proj by /home; | changeset | files |
| Mon, 24 Mar 2008 15:59:16 +0100 | wenzelm | remote CVSROOT: default to atbroy100 instead of sunbroy2; | changeset | files |
| Mon, 24 Mar 2008 15:55:22 +0100 | wenzelm | tuned settings for target platforms; | changeset | files |
| Thu, 20 Mar 2008 17:38:55 +0100 | wenzelm | thm_antiq: produce error at runtime, not compile time; | changeset | files |
| 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 |