| Fri, 10 Feb 2012 23:06:21 +0100 | haftmann | dropped dead code | changeset | files |
| Fri, 10 Feb 2012 22:58:04 +0100 | haftmann | corrected typo | changeset | files |
| Fri, 10 Feb 2012 22:51:21 +0100 | haftmann | dropped dead code | changeset | files |
| Sun, 12 Feb 2012 22:10:33 +0100 | haftmann | notepad is more appropriate here | changeset | files |
| Sat, 18 Feb 2012 23:43:21 +0100 | boehmes | corrected treatment of applications of built-in functions to higher-order terms | changeset | files |
| Sat, 18 Feb 2012 23:05:31 +0100 | krauss | NEWS | changeset | files |
| Sat, 18 Feb 2012 22:31:24 +0100 | krauss | merged | changeset | files |
| Sat, 18 Feb 2012 09:46:58 +0100 | krauss | added congruence rules for Option.{map|bind} | changeset | files |
| Sat, 18 Feb 2012 20:53:39 +0100 | haftmann | updated generated documents | changeset | files |
| Sat, 18 Feb 2012 20:50:11 +0100 | haftmann | avoid redefinition of @{theory} antiquotation | changeset | files |
| Sat, 18 Feb 2012 20:13:38 +0100 | haftmann | update of generated documents | changeset | files |
| Sat, 18 Feb 2012 20:12:37 +0100 | haftmann | tuned whitespace | changeset | files |
| Sat, 18 Feb 2012 20:12:30 +0100 | haftmann | clarified | changeset | files |
| Sat, 18 Feb 2012 20:12:16 +0100 | haftmann | corrected spelling | changeset | files |
| Sat, 18 Feb 2012 20:11:58 +0100 | haftmann | clarified | changeset | files |
| Sat, 18 Feb 2012 20:07:47 +0100 | haftmann | more precise semantics of "theory" antiquotation | changeset | files |
| Sat, 18 Feb 2012 20:07:26 +0100 | haftmann | tuned import | changeset | files |
| Sat, 18 Feb 2012 20:06:59 +0100 | haftmann | dropped references to obsolete theories | changeset | files |
| Sat, 18 Feb 2012 20:06:43 +0100 | haftmann | adjusted to set type constructor | changeset | files |
| Sat, 18 Feb 2012 20:06:14 +0100 | haftmann | tuned whitespace | changeset | files |
| Sat, 18 Feb 2012 11:31:35 +0100 | haftmann | more explicit error on malformed abstract equation; dropped dead code; tuned signature | changeset | files |
| Fri, 17 Feb 2012 15:42:26 +0100 | wenzelm | simplified configuration options for syntax ambiguity; | changeset | files |
| Fri, 17 Feb 2012 11:24:39 +0100 | wenzelm | retain default of Syntax.ambiguity, according to 2bd54d4b5f3d (despite earlier versions); | changeset | files |
| Thu, 16 Feb 2012 23:07:01 +0100 | wenzelm | more antiquotations; | changeset | files |
| Thu, 16 Feb 2012 22:54:40 +0100 | wenzelm | more symbols; | changeset | files |
| Thu, 16 Feb 2012 22:53:56 +0100 | wenzelm | tuned imports; | changeset | files |
| Thu, 16 Feb 2012 22:53:24 +0100 | wenzelm | tuned proofs; | changeset | files |
| Thu, 16 Feb 2012 22:18:28 +0100 | wenzelm | simplified configuration options for syntax ambiguity; | changeset | files |