aarne 99e6e48fe1 mock up math extended with Agda

2007-10-31 17:13:20 +00:00

..

Math.gf

mock up variables for js

2007-10-30 13:17:54 +00:00

MathAgd.gf

mock up math extended with Agda

2007-10-31 17:13:20 +00:00

MathEnz.gf

mock up math extended with Agda

2007-10-31 17:13:20 +00:00

MathSwz.gf

mock up math extended with Agda

2007-10-31 17:13:20 +00:00