← Back to branch summary

~naesten/coq/trunk

« back to all changes in this revision

Viewing changes to plugins/extraction/extraction.ml

  • Committer: herbelin
  • Date: 2009-11-09 18:05:13 UTC
  • Revision ID: svn-v4:85f007b7-540e-0410-9357-904b9bb8a0f7:trunk:12485
A bit of cleaning around name generation + creation of dedicated file namegen.ml

Show diffs side-by-side

added added

removed removed

Lines of Context:
plugins/extraction/extraction.ml
20
20
open Termops
21
21
open Inductiveops
22
22
open Recordops
23
 
open Nameops
 
23
open Namegen
24
24
open Summary
25
25
open Libnames
26
26
open Nametab