| Wed, 17 Mar 2010 08:11:24 -0700 |
huffman |
NEWS: Nat_Bijection library
|
changeset |
files
|
| Wed, 17 Mar 2010 12:21:54 +0100 |
blanchet |
document "nitpick_choice_spec" attribute
|
changeset |
files
|
| Wed, 17 Mar 2010 12:01:01 +0100 |
blanchet |
fix typo in "nitpick_choice_spec" attribute name (singular, not plural)
|
changeset |
files
|
| Wed, 17 Mar 2010 09:14:43 +0100 |
blanchet |
added support for "specification" and "ax_specification" constructs to Nitpick
|
changeset |
files
|
| Tue, 16 Mar 2010 08:45:08 +0100 |
Christian Urban |
rollback of local typedef until problem with type-variables can be sorted out; fixed header
|
changeset |
files
|
| Tue, 16 Mar 2010 06:55:01 +0100 |
haftmann |
adjusted to changes in Finite_Set
|
changeset |
files
|
| Mon, 15 Mar 2010 22:22:28 +0100 |
wenzelm |
merged
|
changeset |
files
|
| Mon, 15 Mar 2010 17:34:03 +0100 |
nipkow |
merged
|
changeset |
files
|
| Mon, 15 Mar 2010 17:33:41 +0100 |
nipkow |
tuned inductions
|
changeset |
files
|
| Mon, 15 Mar 2010 21:59:28 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Mon, 15 Mar 2010 21:57:35 +0100 |
wenzelm |
moved old Sign.intern_term to the place where it is still used;
|
changeset |
files
|
| Mon, 15 Mar 2010 20:27:23 +0100 |
wenzelm |
preserve full const name more carefully, and avoid slightly odd Sign.intern_term;
|
changeset |
files
|
| Mon, 15 Mar 2010 18:59:16 +0100 |
wenzelm |
replaced type_syntax/term_syntax by uniform syntax_declaration;
|
changeset |
files
|
| Mon, 15 Mar 2010 15:13:22 +0100 |
haftmann |
merged
|
changeset |
files
|
| Mon, 15 Mar 2010 15:13:07 +0100 |
haftmann |
corrected disastrous syntax declarations
|
changeset |
files
|
| Mon, 15 Mar 2010 13:59:34 +0100 |
haftmann |
added stmaryrd for isasymSqinter
|
changeset |
files
|