| Mon, 15 Feb 2010 16:51:30 +0100 |
Cezary Kaliszyk |
Fixed the definition of less and finished the missing proof.
|
file |
diff |
annotate
|
| Fri, 12 Feb 2010 16:04:10 +0100 |
Cezary Kaliszyk |
renamed 'as' to 'is' everywhere.
|
file |
diff |
annotate
|
| Thu, 11 Feb 2010 10:06:02 +0100 |
Cezary Kaliszyk |
Main renaming + fixes for new Isabelle in IntEx2.
|
file |
diff |
annotate
|
| Thu, 21 Jan 2010 19:52:46 +0100 |
Cezary Kaliszyk |
Changed fun_map and rel_map to definitions.
|
file |
diff |
annotate
|
| Fri, 01 Jan 2010 23:59:32 +0100 |
Christian Urban |
tuned
|
file |
diff |
annotate
|
| Sat, 26 Dec 2009 07:15:30 +0100 |
Christian Urban |
generalised absrep function; needs consolidation
|
file |
diff |
annotate
|
| Sun, 20 Dec 2009 00:53:35 +0100 |
Christian Urban |
on suggestion of Tobias renamed "quotient_def" to "quotient_definition"; needs new keyword file
|
file |
diff |
annotate
|
| Sun, 20 Dec 2009 00:26:53 +0100 |
Christian Urban |
renamed "quotient" command to "quotient_type"; needs new keyword file to be installed
|
file |
diff |
annotate
|
| Wed, 16 Dec 2009 12:15:41 +0100 |
Cezary Kaliszyk |
Removed lambdas on the right hand side. This fixes all 'PROBLEM' comments.
|
file |
diff |
annotate
|
| Fri, 11 Dec 2009 17:03:34 +0100 |
Christian Urban |
deleted struct_match by Pattern.match (fixes a problem in LarryInt)
|
file |
diff |
annotate
|
| Fri, 11 Dec 2009 15:58:15 +0100 |
Christian Urban |
added Int example from Larry
|
file |
diff |
annotate
|