Sat, 27 Apr 2013 21:56:45 +0200 | ballarin | Clarified confusing sentence in locales tutorial. | changeset | files |
Sat, 27 Apr 2013 20:50:20 +0200 | wenzelm | uniform Proof.context for hyp_subst_tac; | changeset | files |
Sat, 27 Apr 2013 11:37:50 +0200 | blanchet | tuned ML and thy file names | changeset | files |