Fri, 15 Mar 1996 18:43:33 +0100 New safe_meson_tac proves some harder theorems
paulson [Fri, 15 Mar 1996 18:43:33 +0100] rev 1586
New safe_meson_tac proves some harder theorems
Fri, 15 Mar 1996 18:42:36 +0100 New safe_meson_tac uses iterative deepening
paulson [Fri, 15 Mar 1996 18:42:36 +0100] rev 1585
New safe_meson_tac uses iterative deepening
Fri, 15 Mar 1996 18:41:04 +0100 Sets a lower value of Unify.search_bound
paulson [Fri, 15 Mar 1996 18:41:04 +0100] rev 1584
Sets a lower value of Unify.search_bound
Fri, 15 Mar 1996 18:39:08 +0100 Search tacticals moved to search.ML
paulson [Fri, 15 Mar 1996 18:39:08 +0100] rev 1583
Search tacticals moved to search.ML
Fri, 15 Mar 1996 18:38:24 +0100 Updated for new file search.ML
paulson [Fri, 15 Mar 1996 18:38:24 +0100] rev 1582
Updated for new file search.ML
Fri, 15 Mar 1996 13:34:39 +0100 updated syntax of datatype declaration
clasohm [Fri, 15 Mar 1996 13:34:39 +0100] rev 1581
updated syntax of datatype declaration
Fri, 15 Mar 1996 12:01:19 +0100 Added some functions which allow redirection of Isabelle's output
berghofe [Fri, 15 Mar 1996 12:01:19 +0100] rev 1580
Added some functions which allow redirection of Isabelle's output
Thu, 14 Mar 1996 16:40:18 +0100 Functions moved to Pure/search.ML and classical.ML
paulson [Thu, 14 Mar 1996 16:40:18 +0100] rev 1579
Functions moved to Pure/search.ML and classical.ML
Thu, 14 Mar 1996 12:21:07 +0100 updated syntax of datatype definitions: "C t1 ... tn" instead of "C(t1,...,tn)"
clasohm [Thu, 14 Mar 1996 12:21:07 +0100] rev 1578
updated syntax of datatype definitions: "C t1 ... tn" instead of "C(t1,...,tn)"
Thu, 14 Mar 1996 12:19:49 +0100 added @SMLdebug=/dev/null to supress GC messages
clasohm [Thu, 14 Mar 1996 12:19:49 +0100] rev 1577
added @SMLdebug=/dev/null to supress GC messages
(0) -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip