Search

Sort by

In Project(s)

Searched refs:Isabelle_files (Results 1 - 2 of 2) sorted by relevance

/hets/
H A D	Makefile	`280 Isabelle_files = Isabelle/IsaSign.hs macro 371 Isabelle/ATC_Isabelle.der.hs: $(Isabelle_files) $(GENRULES) 372 $(GENRULECALL) -o $@ $(Isabelle_files)`
/hets/debian/
H A D	rules	`280 Isabelle_files = Isabelle/IsaSign.hs macro 371 Isabelle/ATC_Isabelle.der.hs: $(Isabelle_files) $(GENRULES) 372 $(GENRULECALL) -o $@ $(Isabelle_files)`

Completed in 912 milliseconds