Wed, 11 Nov 2009 14:15:11 +0100 |
wenzelm |
uniform use of simultabeous use_thys;
|
file |
diff |
annotate
|
Mon, 21 Sep 2009 16:00:53 +0200 |
haftmann |
added session theory for Bali
|
file |
diff |
annotate
|
Mon, 30 Jul 2007 19:46:13 +0200 |
wenzelm |
simultaneous use_thys;
|
file |
diff |
annotate
|
Mon, 06 Jun 2005 13:30:05 +0200 |
nipkow |
update -> use
|
file |
diff |
annotate
|
Wed, 14 May 2003 20:29:18 +0200 |
schirmer |
Adapted to changes in Map.thy
|
file |
diff |
annotate
|
Fri, 30 Aug 2002 16:42:45 +0200 |
paulson |
removal of blast.overloaded
|
file |
diff |
annotate
|
Wed, 10 Jul 2002 15:07:02 +0200 |
schirmer |
Added unary and binary operations like (+,-,<, ...); Added smallstep semantics (no proofs about it yet).
|
file |
diff |
annotate
|
Wed, 27 Feb 2002 08:52:09 +0100 |
schirmer |
Cleaning up the definition of static overriding.
|
file |
diff |
annotate
|
Mon, 28 Jan 2002 23:35:20 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Mon, 28 Jan 2002 17:00:19 +0100 |
schirmer |
Isabelle/Bali sources;
|
file |
diff |
annotate
|