boehmes [Tue, 16 Feb 2010 16:20:34 +0100] rev 35142
include solver arguments as comments in SMT problem files (to distinguish different results from the same problem when caching results)
boehmes [Tue, 16 Feb 2010 15:26:24 +0100] rev 35141
updated SMT certificates
boehmes [Tue, 16 Feb 2010 15:25:36 +0100] rev 35140
added Cache_IO: cache for output of external tools,
changed SMT solver interface to use Cache_IO
hoelzl [Tue, 16 Feb 2010 15:16:33 +0100] rev 35139
Rename transp to transpose in HOL-Multivariate_Analysis. (by himmelma)
wenzelm [Mon, 15 Feb 2010 23:58:24 +0100] rev 35138
refined and exported record_info;
wenzelm [Mon, 15 Feb 2010 22:40:03 +0100] rev 35137
modernized structures;
wenzelm [Mon, 15 Feb 2010 22:24:19 +0100] rev 35136
modernized signature -- proper binding;
misc tuning;
wenzelm [Mon, 15 Feb 2010 20:32:21 +0100] rev 35135
tuned errors;
tuned;
wenzelm [Mon, 15 Feb 2010 20:30:56 +0100] rev 35134
Typedef.the_info;
wenzelm [Mon, 15 Feb 2010 20:01:07 +0100] rev 35133
formal markup of constants;
misc tuning;