diff options
author | Enrico Tassi <Enrico.Tassi@inria.fr> | 2014-03-13 15:41:44 +0100 |
---|---|---|
committer | Enrico Tassi <Enrico.Tassi@inria.fr> | 2014-03-13 16:04:13 +0100 |
commit | c9b1caaa5516d616e400faa7a7c0278c8677c51c (patch) | |
tree | 2dc6f7870a9824f8b9c8357774287c5c44b332a2 /tactics/class_tactics.mli | |
parent | 8ee720fef8e21595827d18e1e28777c1d061a9e5 (diff) |
STM: move out a couple of submodules
These modules are not as reusable as one may want them to be, but
moving them out simplifies a little STM.
Diffstat (limited to 'tactics/class_tactics.mli')
0 files changed, 0 insertions, 0 deletions