diff options
| author |  rustanleino <unknown> | 2010-03-19 04:22:48 +0000 |
|---|---|---|
| committer | rustanleino <unknown> | 2010-03-19 04:22:48 +0000 |
| commit | b58961dc4485114212cc6948d0e966bf73087685 (patch) | |
| tree | 7dbd7c217186f5d32b09a7f4f9af8ad5ab71cd7f /Binaries/..svnbridge/System.Compiler.Framework.dll | |
| parent | 946c1329d9cda4ec68abc9b326c6ac7163c63cd8 (diff) | |
Dafny: Ensures that function axioms are not being used while their consistency is being checked.
Diffstat (limited to 'Binaries/..svnbridge/System.Compiler.Framework.dll')
0 files changed, 0 insertions, 0 deletions