Revision - 333d010 - Using Prop stuff for eq_universe

Revision 333d010406a140bb89c99558d26db9427821af85 authored by Théo Winterhalter on 26 September 2019, 15:55:24 UTC, committed by Théo Winterhalter on 26 September 2019, 18:10:53 UTC

Using Prop stuff for eq_universe

1 parent bf1e86f

Files
Changes

Permalinks

File	Mode	Size
coqdoc.css	-rw-r--r--	5.9 KB

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

Computing file changes ...