diff options
| author | Thomas Bauereiss | 2017-06-05 15:46:25 +0100 |
|---|---|---|
| committer | Thomas Bauereiss | 2017-06-05 15:46:25 +0100 |
| commit | 7f9c335f019b43e532b176ad0429eaf79d84c591 (patch) | |
| tree | 49915aa7f625be29f053aac7a5239d9ea477c1aa /isabelle-lib/ROOT | |
| parent | 115bbe2779fd314a9ad3742a338389a5e5ab294b (diff) | |
Fix pretty-printing of function clauses with wildcards for Lem
Before, wildcards sometimes ended up in the arguments to the function call on
the RHS, in particular when using vector patterns (which implicitly introduce
wildcards for the order and index parameters).
Diffstat (limited to 'isabelle-lib/ROOT')
0 files changed, 0 insertions, 0 deletions