blob: 97c229f14f332a23d97eba2c12e87082524c5408 (
plain)
1
2
3
4
5
6
7
8
|
Document: aac-tactics-api-reference
Title: aac_tactics API Reference
Abstract: API reference for aac_tactics (generated from ML sources via OCamldoc)
Section: Programming/OCaml
Format: HTML
Index: /usr/share/doc/libaac-tactics-coq/api/index.html
Files: /usr/share/doc/libaac-tactics-coq/api/*
|