ssreflect - [X in p] in abbreviations?

Subject: Ssreflect Users Discussion List

List archive

[X in p] in abbreviations?

From: Pierre-Yves Strub <>
To: <>
Subject: [X in p] in abbreviations?
Date: Fri, 30 Mar 2012 17:28:02 +0200

Hi,

Maybe I dreamed, but I do remember it was possible to define abbreviations using the [X in pattern] selector, like:

set x := [X in _ = _ + X]

Is that possible ?

Pierre-Yves.

[X in p] in abbreviations?, Pierre-Yves Strub, 03/30/2012
- Re: [X in p] in abbreviations?, Enrico Tassi, 03/30/2012

List archive

[X in p] in abbreviations?