[isabelle] New AFP entries

David Trachtenherz has contributed 3 new entries:

Infinite Lists

We introduce a theory of infinite lists in HOL formalized as functions over naturals.

Interval Temporal Logic on Natural Numbers

We introduce a theory of temporal logic operators using sets of natural numbers as time domain, formalized in a shallow embedding manner.

AutoFocus Stream Processing for Single-Clocking and Multi-Clocking Semantics

We formalize the AutoFocus Semantics (a time-synchronous subset of the Focus formalism) as stream processing functions on finite and infinite message streams represented as finite/infinite lists.

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.