| Sun, 08 Jul 2007 19:52:05 +0200 | wenzelm | thm tag: Markup.property list; | file | diff | annotate |
| Sat, 07 Jul 2007 18:39:14 +0200 | wenzelm | pretty_goals_aux: subgoal markup; | file | diff | annotate |
| Tue, 08 May 2007 21:02:26 +0200 | wenzelm | tuned; | file | diff | annotate |
| Mon, 07 May 2007 00:49:59 +0200 | wenzelm | simplified DataFun interfaces; | file | diff | annotate |
| Sat, 09 Dec 2006 18:05:40 +0100 | wenzelm | abbrevs: print original rhs; | file | diff | annotate |
| Tue, 05 Dec 2006 00:30:38 +0100 | wenzelm | thm/prf: separate official name vs. additional tags; | file | diff | annotate |
| Tue, 19 Sep 2006 23:15:38 +0200 | wenzelm | pretty_full_theory: suppress internal entities by default; | file | diff | annotate |
| Thu, 27 Jul 2006 13:43:04 +0200 | wenzelm | removed obsolete pretty_thm_no_quote; | file | diff | annotate |
| Wed, 26 Jul 2006 00:44:49 +0200 | wenzelm | moved pprint functions to Isar/proof_display.ML; | file | diff | annotate |
| Tue, 11 Jul 2006 12:17:01 +0200 | wenzelm | Name.invent_list; | file | diff | annotate |
| Wed, 07 Jun 2006 02:01:28 +0200 | wenzelm | renamed Type.(un)varifyT to Logic.(un)varifyT; | file | diff | annotate |
| Tue, 23 May 2006 14:00:06 +0200 | wenzelm | made smlnj happy; | file | diff | annotate |
| Tue, 23 May 2006 13:55:02 +0200 | wenzelm | pretty_full_theory: tuned output of definitions; | file | diff | annotate |
| Mon, 22 May 2006 22:29:16 +0200 | wenzelm | pretty_full_theory: defs; | file | diff | annotate |
| Tue, 16 May 2006 13:01:24 +0200 | wenzelm | more abstract interface to classes/arities; | file | diff | annotate |
| Mon, 08 May 2006 17:40:07 +0200 | wenzelm | added raw_string_of_sort/typ/term; | file | diff | annotate |
| Mon, 01 May 2006 17:05:09 +0200 | wenzelm | adapted arities; | file | diff | annotate |
| Thu, 27 Apr 2006 15:06:35 +0200 | wenzelm | tuned basic list operators (flat, maps, map_filter); | file | diff | annotate |
| Thu, 13 Apr 2006 12:00:58 +0200 | wenzelm | tuned comment; | file | diff | annotate |
| Sat, 08 Apr 2006 22:51:19 +0200 | wenzelm | print_theory: print abbreviations nicely; | file | diff | annotate |
| Tue, 21 Mar 2006 12:18:07 +0100 | wenzelm | subtract (op =); | file | diff | annotate |
| Wed, 08 Feb 2006 17:15:27 +0100 | wenzelm | tuned; | file | diff | annotate |
| Mon, 06 Feb 2006 20:59:03 +0100 | wenzelm | print_theory: const abbreviations; | file | diff | annotate |
| Wed, 02 Nov 2005 14:46:57 +0100 | wenzelm | Consts.dest; | file | diff | annotate |
| Thu, 27 Oct 2005 13:54:43 +0200 | wenzelm | consts: monomorphic; | file | diff | annotate |
| Thu, 29 Sep 2005 00:58:57 +0200 | wenzelm | print_theory: discontinued final consts; | file | diff | annotate |
| Sat, 17 Sep 2005 19:17:34 +0200 | wenzelm | pretty_thm_aux: ora masked by quick_and_dirty; | file | diff | annotate |
| Sat, 17 Sep 2005 18:11:28 +0200 | wenzelm | pretty_thm_aux: aconv hyps; | file | diff | annotate |
| Sat, 17 Sep 2005 12:18:03 +0200 | wenzelm | pretty_thm_aux: observe asms context; | file | diff | annotate |
| Thu, 28 Jul 2005 15:19:54 +0200 | wenzelm | print_theory: const constraints; | file | diff | annotate |