Revision - 87b373a - simplify the proof using advantage of the new fel.

Revision 87b373a24e9741db0db838b53fcf251b37a87138 authored by Benjamin Gregoire on 25 February 2016, 15:29:40 UTC, committed by Benjamin Gregoire on 25 February 2016, 15:29:40 UTC

simplify the proof using advantage of the new fel.

1 parent 5a66208

Files
Changes

Permalinks

File	Mode	Size
emacs-based
.gitignore	-rw-r--r--	75 bytes

Showing with 0 additions and 0 deletions (0 / 0 diffs computed)

Computing file changes ...