[Aleph] feature request :-))

[Idris Samawi Hamid]

Hi Javier,

On Sat, 3 Jul 2004 13:34:14 +0200, Javier Bezos <jbezos@wanadoo.es> wrote:

> Aaah! I see... You may want see my attempts:
>
> http://perso.wanadoo.es/jbezos/archive/lambda.zip
>
> which I think could be helpful. Don't hesitate to ask
> for help.

Thnx for offering your help! It will certainly be needed as this project 
gets further along.

Hans has also created some nifty macros for manipulating ocp's and 
ocplists (see m-gamma.tex in the ConTeXt distribution); I don't know if 
they have LaTeX equivalents...

All the best
Idris

-- 
Professor Idris Samawi Hamid
Department of Philosophy
Colorado State University
Fort Collins, CO 80523