blanchet [Thu, 26 Aug 2010 13:55:30 +0200] rev 39052
fix Vampire version numbers
blanchet [Thu, 26 Aug 2010 11:51:06 +0200] rev 39051
lower penalty for Skolem constants
haftmann [Fri, 27 Aug 2010 14:25:29 +0200] rev 39050
merged
haftmann [Fri, 27 Aug 2010 14:25:07 +0200] rev 39049
official support for Scala
haftmann [Fri, 27 Aug 2010 14:24:26 +0200] rev 39048
updated generated files
haftmann [Fri, 27 Aug 2010 14:22:33 +0200] rev 39047
tuned whitespace
haftmann [Fri, 27 Aug 2010 14:22:15 +0200] rev 39046
more xsymbols
haftmann [Fri, 27 Aug 2010 13:55:23 +0200] rev 39045
re-added accidental omission
haftmann [Fri, 27 Aug 2010 13:32:05 +0200] rev 39044
proper namespace administration for hierarchical modules
wenzelm [Fri, 27 Aug 2010 12:57:55 +0200] rev 39043
merged, resolving some minor conflicts in src/HOL/Tools/Predicate_Compile/code_prolog.ML;