| Wed, 08 Apr 2015 19:39:08 +0200 |
wenzelm |
proper context for Object_Logic operations;
|
file |
diff |
annotate
|
| Wed, 26 Nov 2014 20:05:34 +0100 |
wenzelm |
renamed "pairself" to "apply2", in accordance to @{apply 2};
|
file |
diff |
annotate
|
| Fri, 31 Jan 2014 13:42:47 +0100 |
blanchet |
compile
|
file |
diff |
annotate
|
| Fri, 31 Jan 2014 10:23:32 +0100 |
blanchet |
tuned ML file name
|
file |
diff |
annotate
|
| Sat, 21 Dec 2013 09:44:30 +0100 |
blanchet |
compile + reduce problem size by a notch
|
file |
diff |
annotate
|
| Wed, 12 Dec 2012 11:18:06 +0100 |
blanchet |
got rid of support for Kodkodi < 1.2.14
|
file |
diff |
annotate
|
| Thu, 30 Aug 2012 11:31:20 +0200 |
blanchet |
adjust example
|
file |
diff |
annotate
|
| Tue, 03 Jan 2012 18:33:18 +0100 |
blanchet |
ported Minipick to "set"
|
file |
diff |
annotate
|
| Wed, 12 Oct 2011 16:21:07 +0200 |
wenzelm |
discontinued obsolete alias structure ProofContext;
|
file |
diff |
annotate
|
| Fri, 23 Sep 2011 14:25:53 +0200 |
blanchet |
first step towards extending Minipick with more translations
|
file |
diff |
annotate
|
| Wed, 21 Sep 2011 15:55:16 +0200 |
blanchet |
reintroduced Minipick as Nitpick example
|
file |
diff |
annotate
|