| Sat, 09 Aug 2008 22:43:46 +0200 |
wenzelm |
unified Args.T with OuterLex.token, renamed some operations;
|
file |
diff |
annotate
|
| Sun, 18 May 2008 15:04:09 +0200 |
wenzelm |
moved global pretty/string_of functions from Sign to Syntax;
|
file |
diff |
annotate
|
| Sat, 17 May 2008 23:53:20 +0200 |
wenzelm |
tuned comments;
|
file |
diff |
annotate
|
| Sat, 17 May 2008 13:54:30 +0200 |
wenzelm |
structure Display: less pervasive operations;
|
file |
diff |
annotate
|
| Fri, 09 Nov 2007 19:37:35 +0100 |
wenzelm |
avoid obsolete Sign.read_prop;
|
file |
diff |
annotate
|
| Wed, 01 Aug 2007 16:55:40 +0200 |
wenzelm |
simplified internal Config interface;
|
file |
diff |
annotate
|
| Tue, 31 Jul 2007 21:19:21 +0200 |
wenzelm |
replaced depth_limit ref by blast_depth_limit configuration option;
|
file |
diff |
annotate
|
| Sun, 29 Jul 2007 19:46:03 +0200 |
wenzelm |
explicit global state argument -- no longer CRITICAL;
|
file |
diff |
annotate
|
| Wed, 25 Jul 2007 22:20:47 +0200 |
wenzelm |
NAMED_CRITICAL;
|
file |
diff |
annotate
|
| Tue, 24 Jul 2007 19:44:29 +0200 |
wenzelm |
marked some CRITICAL sections;
|
file |
diff |
annotate
|
| Sun, 22 Jul 2007 21:20:53 +0200 |
wenzelm |
blast_hyp_subst_tac: plain bool argument;
|
file |
diff |
annotate
|
| Thu, 05 Jul 2007 20:01:28 +0200 |
wenzelm |
simplified ObjectLogic.atomize;
|
file |
diff |
annotate
|
| Sat, 14 Apr 2007 17:36:05 +0200 |
wenzelm |
Term.string_of_vname;
|
file |
diff |
annotate
|
| Wed, 04 Apr 2007 23:29:33 +0200 |
wenzelm |
rep_thm/cterm/ctyp: removed obsolete sign field;
|
file |
diff |
annotate
|
| Wed, 04 Apr 2007 00:11:10 +0200 |
wenzelm |
cleaned-up Output functions;
|
file |
diff |
annotate
|
| Fri, 10 Nov 2006 23:22:01 +0100 |
wenzelm |
tuned names of start_timing,/end_timing/check_timer;
|
file |
diff |
annotate
|
| Wed, 04 Oct 2006 14:17:38 +0200 |
haftmann |
insert replacing ins ins_int ins_string
|
file |
diff |
annotate
|
| Thu, 21 Sep 2006 19:04:20 +0200 |
wenzelm |
member (op =);
|
file |
diff |
annotate
|
| Sat, 29 Apr 2006 23:16:43 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Thu, 27 Apr 2006 15:06:35 +0200 |
wenzelm |
tuned basic list operators (flat, maps, map_filter);
|
file |
diff |
annotate
|
| Tue, 14 Feb 2006 13:03:00 +0100 |
paulson |
fixed tracing
|
file |
diff |
annotate
|
| Thu, 19 Jan 2006 21:22:08 +0100 |
wenzelm |
setup: theory -> theory;
|
file |
diff |
annotate
|
| Sat, 31 Dec 2005 21:49:41 +0100 |
wenzelm |
explicitly reject consts *Goal*, *False*;
|
file |
diff |
annotate
|
| Fri, 30 Dec 2005 16:56:59 +0100 |
wenzelm |
avoid implicit assumptions about consts Not, op =, *Goal*, *False*;
|
file |
diff |
annotate
|
| Wed, 16 Nov 2005 17:45:23 +0100 |
wenzelm |
Trueprop: use ObjectLogic.judgment etc.;
|
file |
diff |
annotate
|
| Mon, 14 Nov 2005 18:25:34 +0100 |
paulson |
removal of is_hol
|
file |
diff |
annotate
|
| Thu, 10 Nov 2005 20:57:16 +0100 |
wenzelm |
uncurried Consts.typargs;
|
file |
diff |
annotate
|
| Wed, 02 Nov 2005 14:46:53 +0100 |
wenzelm |
fromConst: use Sign.const_typargs for efficient representation of type instances of constant declarations;
|
file |
diff |
annotate
|
| Thu, 27 Oct 2005 13:54:40 +0200 |
wenzelm |
replaced Defs.monomorphic by Sign.monomorphic;
|
file |
diff |
annotate
|
| Sat, 08 Oct 2005 20:15:34 +0200 |
wenzelm |
minor tweaks for Poplog/PML;
|
file |
diff |
annotate
|