Revision - 61fef31 - porting example Fundamental Lemma

Revision 61fef31ca898b5ca022d87c82f9e91c72ef4daa0 authored by François Dupressoir on 20 April 2018, 09:25:38 UTC, committed by Pierre-Yves Strub on 20 April 2018, 16:27:35 UTC

porting example Fundamental Lemma

1 parent f027390

Files
Changes

Permalinks

File	Mode	Size
tests.config	-rw-r--r--	343 bytes

Showing with 0 additions and 0 deletions (0 / 0 diffs computed)

Computing file changes ...