| Tue, 15 Sep 2015 17:09:13 +0200 |
nipkow |
goali -> i
|
file |
diff |
annotate
|
| Wed, 19 Feb 2014 22:05:15 +0100 |
haftmann |
more convenient syntax for permanent interpretation
|
file |
diff |
annotate
|
| Wed, 19 Feb 2014 22:05:05 +0100 |
haftmann |
aggiornamento for "interpretation with definitions": operate uniformly on theory and locale level under the brand of "permanent interpretation"
|
file |
diff |
annotate
|
| Tue, 18 Feb 2014 23:03:50 +0100 |
kuncar |
simplify proofs because of the stronger reflexivity prover
|
file |
diff |
annotate
|
| Thu, 23 Jan 2014 16:09:28 +0100 |
nipkow |
installed by Johannes in Extended now
|
file |
diff |
annotate
|
| Thu, 23 Jan 2014 16:01:53 +0100 |
nipkow |
hide Fin in output of value via postprocessor; no hinding needed elsewhere
|
file |
diff |
annotate
|
| Mon, 20 Jan 2014 16:14:19 +0100 |
nipkow |
tuned names
|
file |
diff |
annotate
|
| Fri, 06 Sep 2013 10:56:40 +0200 |
noschinl |
use case_of_simps
|
file |
diff |
annotate
|
| Wed, 03 Jul 2013 16:07:00 +0200 |
nipkow |
tuned names
|
file |
diff |
annotate
|
| Wed, 15 May 2013 12:10:39 +0200 |
kuncar |
stronger reflexivity prover
|
file |
diff |
annotate
|
| Tue, 14 May 2013 06:54:31 +0200 |
nipkow |
tuned names
|
file |
diff |
annotate
|
| Thu, 09 May 2013 03:58:28 +0200 |
nipkow |
standard ivl notation [l,h]
|
file |
diff |
annotate
|
| Wed, 08 May 2013 04:16:44 +0200 |
nipkow |
hide Fin on output
|
file |
diff |
annotate
|
| Tue, 07 May 2013 10:34:55 +0200 |
nipkow |
tuned name: filter -> constrain (longer but more intuitive)
|
file |
diff |
annotate
|
| Tue, 07 May 2013 03:24:23 +0200 |
nipkow |
tuned
|
file |
diff |
annotate
|