Sun, 17 Apr 2005 19:39:39 +0200 | wenzelm | clarified insert/remove; | changeset | files |
Sun, 17 Apr 2005 19:39:11 +0200 | wenzelm | tuned; | changeset | files |
Sun, 17 Apr 2005 19:38:53 +0200 | wenzelm | binds/thms: do not store options, but delete from table; | changeset | files |
Sun, 17 Apr 2005 19:38:40 +0200 | wenzelm | tuned comments; | changeset | files |
Sun, 17 Apr 2005 19:38:30 +0200 | wenzelm | removed; | changeset | files |
Sat, 16 Apr 2005 18:58:55 +0200 | wenzelm | expect translations functions to be stamped already; | changeset | files |
Sat, 16 Apr 2005 18:58:30 +0200 | wenzelm | added stamp_trfun, mk_trfun, eq_trfun; | changeset | files |