Re:How to use `deep inference'?
Paola Bruscoli <Paola.Bruscoli-r/[email protected]>
| Newsgroups | gmane.science.mathematics.frogs |
|---|---|
| Message-ID | <p0602040bbca586e4e17e@[141.76.34.37]> |
At 14:48 Uhr +0200 16.04.2004, Alessio Guglielmi wrote: >>I totally agree with you, my dear husband. > >Let's make love! -Alessio Right now, I've got a bit of a headache... -Paola