| Fri, 10 Apr 2009 11:35:21 -0700 |
set up domain package in Domain.thy
|
file | diff | annotate |
| Thu, 19 Mar 2009 22:05:00 +0100 |
proper spacing before ML antiquotations -- note that @ may be part of symbolic ML identifiers;
|
file | diff | annotate |
| Sun, 01 Mar 2009 23:36:12 +0100 |
use long names for old-style fold combinators;
|
file | diff | annotate |
| Mon, 16 Jun 2008 22:13:39 +0200 |
pervasive RuleInsts;
|
file | diff | annotate |
| Mon, 16 Jun 2008 17:54:45 +0200 |
atomize: proper context;
|
file | diff | annotate |
| Wed, 11 Jun 2008 18:02:00 +0200 |
Drule.read_instantiate;
|
file | diff | annotate |
| Sun, 18 May 2008 15:04:09 +0200 |
moved global pretty/string_of functions from Sign to Syntax;
|
file | diff | annotate |
| Tue, 29 Jan 2008 18:00:12 +0100 |
new term-building combinators
|
file | diff | annotate |
| Thu, 20 Dec 2007 03:06:20 +0100 |
move bottom-related stuff back into Pcpo.thy
|
file | diff | annotate |
| Tue, 18 Dec 2007 22:18:31 +0100 |
add class ppo of pointed partial orders;
|
file | diff | annotate |
| Sun, 23 Sep 2007 22:23:27 +0200 |
TypeInfer.constrain: canonical argument order;
|
file | diff | annotate |
| Wed, 06 Jun 2007 23:06:29 +0200 |
use new-style class for sq_ord; rename op << to sq_le
|
file | diff | annotate |
| Thu, 31 May 2007 14:01:58 +0200 |
moved HOLCF tools to canonical place;
|
file | diff | annotate |