Search

Home

Sort by

last modified time
relevance
path

Full Search
Definition
Symbol
File Path
History

In Project(s)

Searched defs:logics (Results 1 - 2 of 2) sorted by relevance

/hets/
H A D	Makefile	`104 # the list of logics that need ShATermConvertible instances 105 logics = CASL HasCASL Isabelle Modal Hybrid TopHybrid Temporal \ macro 140 logics += Haskell 351 # ATC DrIFT-rule generation for logics 459 # all ATC .der.hs files for all logics 460 atc_logic_files = $(foreach logic, $(logics), $(logic)/ATC_$(logic).der.hs)`
/hets/debian/
H A D	rules	`104 # the list of logics that need ShATermConvertible instances 105 logics = CASL HasCASL Isabelle Modal Hybrid TopHybrid Temporal \ macro 140 logics += Haskell 351 # ATC DrIFT-rule generation for logics 459 # all ATC .der.hs files for all logics 460 atc_logic_files = $(foreach logic, $(logics), $(logic)/ATC_$(logic).der.hs)`

Completed in 21 milliseconds

Indexes created Tue Jul 24 14:28:13 CEST 2018