https://github.com/EasyCrypt/easycrypt
Revision 667ec961c56f29bba13ed5a2dbbf755068839a16 authored by Pierre-Yves Strub on 25 June 2014, 17:12:50 UTC, committed by Pierre-Yves Strub on 25 June 2014, 17:13:07 UTC
1 parent 3487b1d
Tip revision: 667ec961c56f29bba13ed5a2dbbf755068839a16 authored by Pierre-Yves Strub on 25 June 2014, 17:12:50 UTC
Fix notification w.r.t. lemmas / axioms.
Fix notification w.r.t. lemmas / axioms.
Tip revision: 667ec96
| File | Mode | Size |
|---|---|---|
| .gitignore | -rw-r--r-- | 14 bytes |
| Makefile | -rw-r--r-- | 293 bytes |
| ambient.tex | -rw-r--r-- | 14.8 KB |
| br93.tex | -rw-r--r-- | 32.0 KB |
| commonhoare.tex | -rw-r--r-- | 3.0 KB |
| defs.tex | -rw-r--r-- | 11.2 KB |
| easycrypt.tex | -rw-r--r-- | 2.1 KB |
| examples.tex | -rw-r--r-- | 1.2 KB |
| hoare.tex | -rw-r--r-- | 5.2 KB |
| infer.sty | -rw-r--r-- | 3.6 KB |
| libs.tex | -rw-r--r-- | 229 bytes |
| prg.tex | -rw-r--r-- | 9.0 KB |
| probhoare.tex | -rw-r--r-- | 13.8 KB |
| probrelhoare.tex | -rw-r--r-- | 10.8 KB |
| references.bib | -rw-r--r-- | 767 bytes |
| started.tex | -rw-r--r-- | 4.7 KB |
| structuring.tex | -rw-r--r-- | 980 bytes |
| tacticals.tex | -rw-r--r-- | 3.1 KB |
| tactics.tex | -rw-r--r-- | 5.7 KB |
| theories.tex | -rw-r--r-- | 29.6 KB |
Computing file changes ...
