/[mojave]
ViewVC logotype

Revision 2911


Jump to revision: Previous Next
Author: jyh
Date: Thu Feb 24 01:42:53 2000 UTC (21 years, 5 months ago)
Changed paths: 11
Log Message:
Planning for update to .prla files.


Changed paths

Path Details
Directorymetaprl/BUGS modified , text changed
Directorymetaprl/mllib/fun_splay_set.mli modified , text changed
Directorymetaprl/theories/itt/itt_bunion.ml modified , text changed
Directorymetaprl/theories/itt/itt_dfun.ml modified , text changed
Directorymetaprl/theories/itt/itt_dfun.mli modified , text changed
Directorymetaprl/theories/itt/itt_dprod.ml modified , text changed
Directorymetaprl/theories/itt/itt_prod.ml modified , text changed
Directorymetaprl/theories/itt/itt_prod.mli modified , text changed
Directorymetaprl/theories/itt/itt_rfun.ml modified , text changed
Directorymetaprl/theories/itt/itt_rfun.mli modified , text changed
Directorymetaprl/theories/tactic/mptop.ml modified , text changed

  ViewVC Help
Powered by ViewVC 1.1.26