Mon, 28 Nov 2005 05:03:00 +0100 some small tuning
urbanc [Mon, 28 Nov 2005 05:03:00 +0100] rev 18269
some small tuning
Mon, 28 Nov 2005 00:25:43 +0100 ISAR-fied two proofs about equality for abstraction functions.
urbanc [Mon, 28 Nov 2005 00:25:43 +0100] rev 18268
ISAR-fied two proofs about equality for abstraction functions.
Sun, 27 Nov 2005 20:06:24 +0100 * Provers/induct: obtain pattern;
wenzelm [Sun, 27 Nov 2005 20:06:24 +0100] rev 18267
* Provers/induct: obtain pattern;
Sun, 27 Nov 2005 06:01:11 +0100 added an authors section (please let me know if somebody is left out or unhappy)
urbanc [Sun, 27 Nov 2005 06:01:11 +0100] rev 18266
added an authors section (please let me know if somebody is left out or unhappy)
Sun, 27 Nov 2005 05:09:43 +0100 some minor tunings
urbanc [Sun, 27 Nov 2005 05:09:43 +0100] rev 18265
some minor tunings
Sun, 27 Nov 2005 05:00:43 +0100 added the version of nominal.thy that contains
urbanc [Sun, 27 Nov 2005 05:00:43 +0100] rev 18264
added the version of nominal.thy that contains all properties about support of finite sets
Sun, 27 Nov 2005 04:59:20 +0100 cleaned up all examples so that they work with the
urbanc [Sun, 27 Nov 2005 04:59:20 +0100] rev 18263
cleaned up all examples so that they work with the current nominal-setting.
Sun, 27 Nov 2005 03:55:16 +0100 finished cleaning up the parts that collect
urbanc [Sun, 27 Nov 2005 03:55:16 +0100] rev 18262
finished cleaning up the parts that collect lemmas (with instantiations) under some general names
Sat, 26 Nov 2005 18:41:41 +0100 Corrected treatment of non-recursive abstraction types.
berghofe [Sat, 26 Nov 2005 18:41:41 +0100] rev 18261
Corrected treatment of non-recursive abstraction types.
Fri, 25 Nov 2005 21:14:34 +0100 tuned induct proofs;
wenzelm [Fri, 25 Nov 2005 21:14:34 +0100] rev 18260
tuned induct proofs;
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip