| Wed, 17 Jul 2013 13:45:55 +0200 | wenzelm | take context from static theory, not dynamic theory certificate; | changeset | files |
| Wed, 17 Jul 2013 11:38:57 +0200 | wenzelm | more official Thm.eq_thm_strict, without demanding ML equality type; | changeset | files |
| Wed, 17 Jul 2013 09:32:08 +0200 | wenzelm | tuned; | changeset | files |
| Wed, 17 Jul 2013 13:34:21 +0200 | immler | tuned definition of seqseq; clarified usage of diagseq via diagseq_holds | changeset | files |
| Tue, 16 Jul 2013 23:34:33 +0200 | wenzelm | merged | changeset | files |
| Tue, 16 Jul 2013 22:36:55 +0200 | wenzelm | Cygwin with Latex according to Cygwin-Latex-Setup.bat (presently unused); | changeset | files |
| Tue, 16 Jul 2013 20:23:05 +0200 | wenzelm | overwrite target; | changeset | files |