Thu, 18 Oct 2012 19:58:30 +0200 | wenzelm | more basic Goal.reset_futures as snapshot of implicit state; | changeset | files |
Thu, 18 Oct 2012 19:12:58 +0200 | wenzelm | tuned proof; | changeset | files |
Thu, 18 Oct 2012 15:52:33 +0200 | kuncar | update RBT_Mapping, AList_Mapping and Mapping to use lifting/transfer | changeset | files |
Thu, 18 Oct 2012 15:52:32 +0200 | kuncar | tuned proofs | changeset | files |
Thu, 18 Oct 2012 15:52:31 +0200 | kuncar | new theorem | changeset | files |
Thu, 18 Oct 2012 15:47:01 +0200 | wenzelm | merged | changeset | files |