regexp: File revisions

Mercurial Mercurial > hg > regexp / file revisions

Closures.thy

Tue, 23 Aug 2011 00:24:10 +0000	urbanc	beginnig of the slides (not yet finished)	file \| diff \| annotate
Mon, 22 Aug 2011 12:49:27 +0000	urbanc	changes according to afp-submission	file \| diff \| annotate
Wed, 17 Aug 2011 17:36:19 +0000	urbanc	added an example for non-regularity and continuation lemma (the example does not yet work)	file \| diff \| annotate
Thu, 11 Aug 2011 23:11:39 +0000	urbanc	finished section about derivatives and closure properties	file \| diff \| annotate
Thu, 11 Aug 2011 10:26:19 +0000	urbanc	slight polishing	file \| diff \| annotate
Tue, 09 Aug 2011 22:15:11 +0000	urbanc	more on paper	file \| diff \| annotate
Fri, 05 Aug 2011 05:34:11 +0000	urbanc	more on the derivatives section	file \| diff \| annotate
Sun, 31 Jul 2011 10:27:41 +0000	urbanc	some experiments with the proofs in Myhill_2	file \| diff \| annotate
Mon, 25 Jul 2011 13:33:38 +0000	urbanc	made the theories compatible with the existing developments in the AFP; old theories are in the directory Attic	file \| diff \| annotate

regexp