Mon, 16 Sep 2013 17:13:38 +0200 | wenzelm | distinguish Proof.context vs. local_theory semantically, with corresponding naming conventions; | file | diff | annotate |
Mon, 16 Sep 2013 17:04:28 +0200 | wenzelm | tuned white space; | file | diff | annotate |
Mon, 16 Sep 2013 16:46:52 +0200 | wenzelm | proper Isabelle symbols -- no UTF8 here; | file | diff | annotate |
Mon, 09 Sep 2013 00:53:50 +0200 | krauss | tuned headers | file | diff | annotate |
Sun, 08 Sep 2013 22:32:47 +0200 | Manuel Eberl | generate elim rules for elimination of function equalities; | file | diff | annotate |