Mon, 12 Nov 2018 15:14:12 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
Mon, 12 Nov 2018 14:02:33 +0100 |
wenzelm |
more Haskell operations;
|
file |
diff |
annotate
|
Mon, 12 Nov 2018 11:41:11 +0100 |
wenzelm |
proper export;
|
file |
diff |
annotate
|
Sat, 10 Nov 2018 17:12:09 +0100 |
wenzelm |
more formal references;
|
file |
diff |
annotate
|
Sat, 10 Nov 2018 16:32:00 +0100 |
wenzelm |
more Haskell operations;
|
file |
diff |
annotate
|
Tue, 06 Nov 2018 14:53:56 +0100 |
wenzelm |
more Haskell operations;
|
file |
diff |
annotate
|
Mon, 05 Nov 2018 17:06:50 +0100 |
wenzelm |
more Haskell operations;
|
file |
diff |
annotate
|
Mon, 05 Nov 2018 11:29:11 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Sun, 04 Nov 2018 17:19:56 +0100 |
wenzelm |
more Haskell operations;
|
file |
diff |
annotate
|
Sun, 04 Nov 2018 15:28:51 +0100 |
wenzelm |
ported from src/Pure/General/value.ML;
|
file |
diff |
annotate
|
Sat, 03 Nov 2018 20:12:15 +0100 |
wenzelm |
tuned whitespace;
|
file |
diff |
annotate
|
Sat, 03 Nov 2018 20:00:45 +0100 |
wenzelm |
tuned whitespace;
|
file |
diff |
annotate
|
Sat, 03 Nov 2018 19:33:15 +0100 |
wenzelm |
support for Isabelle tools in Haskell;
|
file |
diff |
annotate
|
Thu, 01 Nov 2018 13:53:29 +0100 |
wenzelm |
support for Isabelle tool development in Haskell;
|
file |
diff |
annotate
|