wenzelm [Thu, 27 May 2010 17:41:27 +0200] rev 37153
renamed structure TypeInfer to Type_Infer, keeping the old name as legacy alias for some time;
boehmes [Thu, 27 May 2010 18:16:54 +0200] rev 37152
added function update examples and set examples
boehmes [Thu, 27 May 2010 17:09:37 +0200] rev 37151
updated SMT certificates
boehmes [Thu, 27 May 2010 17:09:06 +0200] rev 37150
sort signature in SMT-LIB output (improves sharing of SMT certificates: goals of the same logical structure are translated into equal SMT-LIB benchmarks)
boehmes [Thu, 27 May 2010 16:30:26 +0200] rev 37149
merged
boehmes [Thu, 27 May 2010 16:29:33 +0200] rev 37148
renamed constant "apply" to "fun_app" (which is closer to the related "fun_upd")
boehmes [Thu, 27 May 2010 14:58:45 +0200] rev 37147
made script executable
boehmes [Thu, 27 May 2010 14:55:53 +0200] rev 37146
use Z3's builtin support for div and mod
boehmes [Thu, 27 May 2010 14:54:13 +0200] rev 37145
moved SMT into the HOL image
wenzelm [Thu, 27 May 2010 15:28:23 +0200] rev 37144
misc updates for release;