isabelle: Changelog

blanchet [Wed, 03 Sep 2014 00:31:37 +0200] rev 58159

tuning

blanchet [Wed, 03 Sep 2014 00:06:32 +0200] rev 58158

registered 'typerep' as countable again

blanchet [Wed, 03 Sep 2014 00:06:30 +0200] rev 58157

moved old datatype material around

blanchet [Wed, 03 Sep 2014 00:06:28 +0200] rev 58156

removed vacuous theorem references

blanchet [Wed, 03 Sep 2014 00:06:27 +0200] rev 58155

commented out failing tactic (now that 'typerep' is defined using the new package

blanchet [Wed, 03 Sep 2014 00:06:26 +0200] rev 58154

tuned imports

blanchet [Wed, 03 Sep 2014 00:06:25 +0200] rev 58153

use 'datatype_new'

blanchet [Wed, 03 Sep 2014 00:06:24 +0200] rev 58152

use 'datatype_new' in 'Main'

blanchet [Wed, 03 Sep 2014 00:06:23 +0200] rev 58151

take out 'x = C' of the simplifier for unit types

blanchet [Wed, 03 Sep 2014 00:06:22 +0200] rev 58150

giving up calling 'datatype_compat' in a locale -- causes trouble with extensions

isabelle