Fri, 18 Feb 2000 15:20:44 +0100 | paulson | New treatment of "guarantees" with polymorphic components and bijections. | file | diff | annotate |
Fri, 10 Sep 1999 18:40:06 +0200 | paulson | working snapshot | file | diff | annotate |
Wed, 08 Sep 1999 15:37:31 +0200 | paulson | new example HOL/UNITY/TimerArray | file | diff | annotate |