| 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 |