| Wed, 29 Jun 2005 15:13:27 +0200 | wenzelm | eliminated separate syn type -- advanced trfuns already part of Syntax.syntax; | changeset | files |
| Wed, 29 Jun 2005 15:13:26 +0200 | wenzelm | replaced Syntax.simple_pprint_typ by (Sign.pprint_typ ProtoPure.thy); | changeset | files |
| Wed, 29 Jun 2005 15:13:25 +0200 | wenzelm | added implies_intr_hyps (from thm.ML); | changeset | files |
| Wed, 29 Jun 2005 15:13:23 +0200 | wenzelm | added joinable; | changeset | files |
| Tue, 28 Jun 2005 17:56:04 +0200 | paulson | stylistic improvements | changeset | files |
| Tue, 28 Jun 2005 16:12:03 +0200 | haftmann | added project information in overview | changeset | files |
| Tue, 28 Jun 2005 16:12:03 +0200 | haftmann | added project information in overview | changeset | files |
| Tue, 28 Jun 2005 15:47:50 +0200 | haftmann | more sophisticated pypager | changeset | files |
| Tue, 28 Jun 2005 15:28:30 +0200 | paulson | first-order check now allows quantifiers | changeset | files |
| Tue, 28 Jun 2005 15:28:04 +0200 | paulson | stricter first-order check for meson | changeset | files |
| Tue, 28 Jun 2005 15:27:45 +0200 | paulson | Constant "If" is now local | changeset | files |
| Tue, 28 Jun 2005 15:26:45 +0200 | haftmann | more sophisticated pypager | changeset | files |
| Tue, 28 Jun 2005 15:26:32 +0200 | paulson | replacing zabs_def by abs_if | changeset | files |
| Tue, 28 Jun 2005 12:32:38 +0200 | haftmann | introduced a notion of mirrors | changeset | files |
| Tue, 28 Jun 2005 12:25:19 +0200 | haftmann | some minor improvements | changeset | files |
| Tue, 28 Jun 2005 12:25:19 +0200 | haftmann | some minor improvements | changeset | files |
| Tue, 28 Jun 2005 12:16:01 +0200 | haftmann | some minor improvements | changeset | files |
| Tue, 28 Jun 2005 12:16:01 +0200 | haftmann | some minor improvements | changeset | files |
| Tue, 28 Jun 2005 12:03:43 +0200 | haftmann | some minor improvements | changeset | files |
| Tue, 28 Jun 2005 12:03:19 +0200 | haftmann | some minor improvements | changeset | files |
| Tue, 28 Jun 2005 11:59:38 +0200 | haftmann | some minor improvements | changeset | files |
| Tue, 28 Jun 2005 11:58:56 +0200 | haftmann | some minor improvements | changeset | files |
| Tue, 28 Jun 2005 11:55:30 +0200 | haftmann | some minor improvements | changeset | files |
| Tue, 28 Jun 2005 11:55:30 +0200 | haftmann | some minor improvements | changeset | files |
| Tue, 28 Jun 2005 10:24:53 +0200 | haftmann | corrected comment | changeset | files |
| Tue, 28 Jun 2005 09:41:39 +0200 | haftmann | some corrections | changeset | files |
| Sun, 26 Jun 2005 15:16:58 +0200 | wenzelm | export get_calculation; | changeset | files |
| Sat, 25 Jun 2005 16:07:55 +0200 | nipkow | Added term_lpo | changeset | files |