Skip to Content.

Sympa Menu

ssreflect - unfold, fold, rewrite

Subject: Ssreflect Users Discussion List

List archive

unfold, fold, rewrite

From: t x <>
To: "" <>
Subject: unfold, fold, rewrite
Date: Sat, 21 Sep 2013 12:16:57 +0000

With apologies for a stupid question -- I've searched through http://hal.inria.fr/docs/00/40/77/78/PDF/RT-367.pdf

I know that "unfold blah" = "rewrite /blah"

However, what does "fold blah" map to in "rewrite" ?

Thanks!

unfold, fold, rewrite, t x, 09/21/2013
- Re: unfold, fold, rewrite, Erik Martin-Dorel, 09/21/2013
  - Re: unfold, fold, rewrite, t x, 09/21/2013

Archive powered by MHonArc 2.6.18.