Mon, 17 Jun 2013 19:30:41 +0200 | wenzelm | more examples on proof terms; | changeset | files |
Sat, 15 Jun 2013 21:07:32 +0200 | wenzelm | obsolete; | changeset | files |
Sat, 15 Jun 2013 21:01:07 +0200 | wenzelm | updated operations on proof terms; | changeset | files |