https://github.com/nano-o/IO-Automata
Tip revision: a5fda5dd1fbccec9a8e087773fc71be0202b37f2 authored by Giuliano Losa on 06 March 2023, 01:42:51 UTC
fix ROOT
fix ROOT
Tip revision: a5fda5d
File | Mode | Size |
---|---|---|
document | ||
Executions.thy | -rw-r--r-- | 5.1 KB |
History.thy | -rw-r--r-- | 7.1 KB |
IOA.thy | -rw-r--r-- | 15.2 KB |
IOA_Automation.thy | -rw-r--r-- | 2.2 KB |
LICENSE | -rw-r--r-- | 1.0 KB |
README.md | -rw-r--r-- | 410 bytes |
ROOT | -rw-r--r-- | 235 bytes |
Sequences.thy | -rw-r--r-- | 414 bytes |
Simulations.thy | -rw-r--r-- | 13.4 KB |