| Sun, 24 Jan 2010 23:41:27 +0100 |
Christian Urban |
test with splits
|
file |
diff |
annotate
|
| Wed, 23 Dec 2009 10:31:54 +0100 |
Christian Urban |
corrected map declarations for Sum and Prod; moved absrep_fun examples in separate file
|
file |
diff |
annotate
|
| Fri, 11 Dec 2009 17:22:26 +0100 |
Cezary Kaliszyk |
Merge + Added LarryInt & Fset3 to tests.
|
file |
diff |
annotate
|
| Fri, 11 Dec 2009 15:58:15 +0100 |
Christian Urban |
added Int example from Larry
|
file |
diff |
annotate
|
| Thu, 10 Dec 2009 18:28:30 +0100 |
Christian Urban |
added Larry's theory; introduced lemma equivpI; added something to the TODO about error messages
|
file |
diff |
annotate
|
| Thu, 10 Dec 2009 04:23:13 +0100 |
Christian Urban |
moved the interpretation code into Unused.thy
|
file |
diff |
annotate
|
| Tue, 08 Dec 2009 14:00:48 +0100 |
Christian Urban |
corrected name of FSet in ROOT.ML
|
file |
diff |
annotate
|
| Mon, 07 Dec 2009 15:21:51 +0100 |
Christian Urban |
isabelle make tests all examples
|
file |
diff |
annotate
|
| Mon, 07 Dec 2009 14:37:10 +0100 |
Christian Urban |
added "end" to each example theory
|
file |
diff |
annotate
|
| Mon, 07 Dec 2009 14:09:50 +0100 |
Christian Urban |
directory re-arrangement
|
file |
diff |
annotate
|