diff options
| author | Pierre-Marie Pédrot | 2014-05-08 18:55:36 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2014-05-08 23:58:43 +0200 |
| commit | 75137f9b8a3426749e30d754be2354687e13c087 (patch) | |
| tree | e20a4e3e23cd698396a8cd1f06b49f14c253dc69 /kernel | |
| parent | f3387bed0eed592ab857ef36db8dcca34843d63e (diff) | |
Encapsulating some clausenv uses. This simplifies the control flow of some
tactics.
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions