| Thu, 16 Jul 2009 22:58:45 +0200 | wenzelm | tuned incr_indexes; | changeset | files |
| Thu, 16 Jul 2009 22:58:07 +0200 | wenzelm | tuned incr_tvar_same; | changeset | files |
| Thu, 16 Jul 2009 22:54:39 +0200 | wenzelm | added same; | changeset | files |
| Thu, 16 Jul 2009 22:22:03 +0200 | wenzelm | tuned map_proof_terms_option; | changeset | files |
| Thu, 16 Jul 2009 21:29:02 +0200 | wenzelm | export incr_tvar_same; | changeset | files |
| Thu, 16 Jul 2009 21:28:39 +0200 | wenzelm | added map_option; | changeset | files |
| Thu, 16 Jul 2009 21:28:09 +0200 | wenzelm | use structure Same; | changeset | files |
| Thu, 16 Jul 2009 21:00:09 +0200 | wenzelm | use structure Same; | changeset | files |
| Thu, 16 Jul 2009 20:32:40 +0200 | wenzelm | use structure Same; | changeset | files |
| Thu, 16 Jul 2009 20:32:05 +0200 | wenzelm | use structure Same; | changeset | files |
| Thu, 16 Jul 2009 20:15:57 +0200 | wenzelm | added map; | changeset | files |
| Thu, 16 Jul 2009 17:03:11 +0200 | wenzelm | use structure Same; | changeset | files |
| Thu, 16 Jul 2009 16:24:49 +0200 | wenzelm | Support for copy-avoiding functions on pure values, at the cost of readability. | changeset | files |
| Thu, 16 Jul 2009 00:24:11 +0200 | wenzelm | removed obsolete/unused legacy_varify; | changeset | files |
| Thu, 16 Jul 2009 00:21:36 +0200 | wenzelm | eliminated legacy_varify; | changeset | files |