krauss [Tue, 14 Dec 2010 00:16:30 +0100] rev 41119
Admin/contributed_components tries to formalize compatibility with external components (for use e.g. by testing tools), guessing from the content of TUM contrib_devel directory
haftmann [Mon, 13 Dec 2010 22:54:47 +0100] rev 41118
separated dictionary weakning into separate type
krauss [Mon, 13 Dec 2010 10:15:27 +0100] rev 41117
eliminated dest_all_all_ctx
krauss [Mon, 13 Dec 2010 10:15:26 +0100] rev 41116
private term variant of Variable.focus
bulwahn [Mon, 13 Dec 2010 08:51:52 +0100] rev 41115
adding an executable THE operator on finite types
krauss [Sun, 12 Dec 2010 21:41:01 +0100] rev 41114
tuned headers
krauss [Sun, 12 Dec 2010 21:40:59 +0100] rev 41113
added signature;
more honest header
huffman [Sat, 11 Dec 2010 21:27:53 -0800] rev 41112
add HOLCF library theories with cpo/predomain instances for HOL types
huffman [Sat, 11 Dec 2010 11:26:37 -0800] rev 41111
xsymbol notation for powerdomain types
huffman [Sat, 11 Dec 2010 10:35:40 -0800] rev 41110
new powerdomain lemmas
krauss [Sat, 11 Dec 2010 00:14:12 +0100] rev 41109
made smlnj happy
haftmann [Fri, 10 Dec 2010 16:10:57 +0100] rev 41108
merged
haftmann [Fri, 10 Dec 2010 16:10:50 +0100] rev 41107
moved most fundamental lemmas upwards
bulwahn [Fri, 10 Dec 2010 14:10:35 +0100] rev 41106
setting finite_type_size to 1 in mutabelle_extra
bulwahn [Fri, 10 Dec 2010 11:42:05 +0100] rev 41105
adding check_all instances for a few more finite types in smallcheck
bulwahn [Fri, 10 Dec 2010 11:42:04 +0100] rev 41104
removing unneccassary sort constraints
krauss [Fri, 10 Dec 2010 09:18:17 +0100] rev 41103
made smlnj happy
haftmann [Thu, 09 Dec 2010 17:26:08 +0100] rev 41102
merged
haftmann [Thu, 09 Dec 2010 17:25:43 +0100] rev 41101
tuned names
haftmann [Thu, 09 Dec 2010 17:25:43 +0100] rev 41100
dictionary constants must permit explicit weakening of classes;
tuned names
haftmann [Thu, 09 Dec 2010 09:58:33 +0100] rev 41099
tracing of term to be evaluated
hoelzl [Thu, 09 Dec 2010 10:22:17 +0100] rev 41098
merged
hoelzl [Wed, 08 Dec 2010 19:32:11 +0100] rev 41097
use SUPR_ and INFI_apply instead of SUPR_, INFI_fun_expand
hoelzl [Wed, 08 Dec 2010 16:15:14 +0100] rev 41096
integral over setprod
hoelzl [Wed, 08 Dec 2010 16:15:14 +0100] rev 41095
cleanup bijectivity btw. product spaces and pairs
blanchet [Thu, 09 Dec 2010 08:46:04 +0100] rev 41094
compile
blanchet [Wed, 08 Dec 2010 22:18:37 +0100] rev 41093
lower fudge factor
blanchet [Wed, 08 Dec 2010 22:17:53 +0100] rev 41092
reword error message
blanchet [Wed, 08 Dec 2010 22:17:53 +0100] rev 41091
implicitly call the minimizer for SMT solvers that don't return an unsat core
blanchet [Wed, 08 Dec 2010 22:17:52 +0100] rev 41090
renamings