diff options
| author | Pierre-Marie Pédrot | 2014-07-06 17:08:59 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2014-07-08 00:06:02 +0200 |
| commit | eb7753109a849aaa7fe5c341f02e408c5fc49f85 (patch) | |
| tree | 8a9db87dd947e85b9fb317fe11175f45e0229b8e /kernel | |
| parent | a3503c0aca07f5e7f5785faa7b76123a02ecc2af (diff) | |
Exporting Proof.split in proofview.
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions