| Sun, 14 Nov 2010 16:34:47 +0000 |
Christian Urban |
merged Nominal-General directory into Nominal; renamed Abs.thy to Nominal2_Abs.thy
|
changeset |
files
|
| Sun, 14 Nov 2010 12:09:14 +0000 |
Christian Urban |
deleted special Nominal2_FSet theory
|
changeset |
files
|
| Sun, 14 Nov 2010 11:46:39 +0000 |
Christian Urban |
moved rest of the lemmas from Nominal2_FSet to the TypeScheme example
|
changeset |
files
|
| Sun, 14 Nov 2010 11:05:22 +0000 |
Christian Urban |
moved most material fron Nominal2_FSet into the Nominal_Base theory
|
changeset |
files
|
| Sun, 14 Nov 2010 10:02:30 +0000 |
Christian Urban |
tuned example
|
changeset |
files
|
| Sun, 14 Nov 2010 01:00:56 +0000 |
Christian Urban |
lifted permute_bn simp rules
|
changeset |
files
|
| Sat, 13 Nov 2010 22:23:26 +0000 |
Christian Urban |
lifted permute_bn constants
|
changeset |
files
|
| Sat, 13 Nov 2010 10:25:03 +0000 |
Christian Urban |
respectfulness for permute_bn functions
|
changeset |
files
|
| Fri, 12 Nov 2010 01:20:53 +0000 |
Christian Urban |
automated permute_bn functions (raw ones first)
|
changeset |
files
|
| Wed, 10 Nov 2010 13:46:21 +0000 |
Christian Urban |
adapted to changes by Florian on the quotient package and removed local fix for function package
|
changeset |
files
|
| Wed, 10 Nov 2010 13:40:46 +0000 |
Christian Urban |
expanded the paper by uncommenting the comments and adding the appendix
|
changeset |
files
|
| Sun, 07 Nov 2010 11:22:31 +0000 |
Christian Urban |
fixed locally the problem with the function package; all tests work again
|
changeset |
files
|
| Sat, 06 Nov 2010 06:18:41 +0000 |
Christian Urban |
added a test about subtyping; disabled two tests, because of problem with function package
|
changeset |
files
|
| Fri, 05 Nov 2010 15:21:10 +0000 |
Christian Urban |
small typo
|
changeset |
files
|
| Fri, 29 Oct 2010 15:37:24 +0100 |
Christian Urban |
squeezed qpaper to 6 pages
|
changeset |
files
|