isabelle: Changelog

Mercurial Mercurial > repos > isabelle / changelog

Thu, 27 Apr 2006 12:09:32 +0200 some new functions

changeset

paulson [Thu, 27 Apr 2006 12:09:32 +0200] rev 19478

some new functions

Thu, 27 Apr 2006 01:41:30 +0200 isar-keywords.el

changeset

urbanc [Thu, 27 Apr 2006 01:41:30 +0200] rev 19477

isar-keywords.el - I am not sure what has changed here nominal.thy - includes a number of new lemmas (including freshness and perm_aux things) nominal_atoms.ML - no particular changes here nominal_permeq.ML - a new version of the decision procedure using for permutation composition the constant perm_aux examples - various adjustments

Wed, 26 Apr 2006 22:40:46 +0200 *** empty log message ***

changeset

wenzelm [Wed, 26 Apr 2006 22:40:46 +0200] rev 19476

*** empty log message ***

Wed, 26 Apr 2006 22:38:16 +0200 curried Seq.cons;

changeset

wenzelm [Wed, 26 Apr 2006 22:38:16 +0200] rev 19475

curried Seq.cons;

Wed, 26 Apr 2006 22:38:11 +0200 removed splitAt (superceded by chop);

changeset

wenzelm [Wed, 26 Apr 2006 22:38:11 +0200] rev 19474

removed splitAt (superceded by chop); removed if_none (superceded by the_default);