/[mojave]
ViewVC logotype

Revision 3379


Jump to revision: Previous Next
Author: xiny
Date: Fri Sep 14 07:00:13 2001 UTC (19 years, 10 months ago)
Changed paths: 3
Log Message:
Definition of algebraic group.


Changed paths

Path Details
Directorymetaprl/theories/czf/czf_itt_group.ml added
Directorymetaprl/theories/czf/czf_itt_group.mli added
Directorymetaprl/theories/czf/czf_itt_group.prla added

  ViewVC Help
Powered by ViewVC 1.1.26