Status

Changes

Console Output

View Build Information

Polling Log

Environment Variables

Mercurial Build Data

Embeddable Build Status

Previous Build

Next Build

Changes

Summary

Markov_Models: add rel_cfg

Changeset 6467:dc9bba811301 by hoelzl: Markov_Models: add rel_cfg
The file was modified	`thys/Markov_Models/Markov_Decision_Process.thy` (diff)