| Mon, 19 May 2014 11:19:48 +0100 |
Christian Urban |
changes from upstream
|
file |
diff |
annotate
|
| Fri, 19 Oct 2012 09:40:24 +0100 |
Christian Urban |
updated to changes in the type-def package
|
file |
diff |
annotate
|
| Mon, 04 Jun 2012 21:39:51 +0100 |
Christian Urban |
added permutation simplification to the simplifier; this makes the simplifier more powerful, but it potentially loops more often
|
file |
diff |
annotate
|
| Thu, 23 Jun 2011 22:21:43 +0100 |
Christian Urban |
the simplifier can simplify "sort (atom a)" if a is a concrete atom type declared with atom_decl
|
file |
diff |
annotate
|
| Tue, 10 May 2011 17:10:22 +0100 |
Christian Urban |
made the subtyping work again
|
file |
diff |
annotate
|
| Tue, 10 May 2011 07:47:06 +0100 |
Christian Urban |
updated to new Isabelle (> 9 May)
|
file |
diff |
annotate
|
| Tue, 15 Mar 2011 00:40:39 +0100 |
Christian Urban |
more on the pearl paper
|
file |
diff |
annotate
|
| Tue, 07 Dec 2010 14:27:21 +0000 |
Christian Urban |
updated to changes in Isabelle
|
file |
diff |
annotate
|
| Sun, 14 Nov 2010 16:34:47 +0000 |
Christian Urban |
merged Nominal-General directory into Nominal; renamed Abs.thy to Nominal2_Abs.thy
|
file |
diff |
annotate
| base
|
| Sat, 03 Apr 2010 21:53:04 +0200 |
Christian Urban |
merged pearl paper with this repository; started litrature subdirectory
|
file |
diff |
annotate
|